Paulo Santos (CS 2026)

Bio

I earned my PhD under the supervision of Alcides Fonseca and Sara Silva at University of Lisbon, and Christopher S. Timperley at Carnegie Mellon University. My research focuses on developing program analysis techniques to detect errors in software systems. Previously, I worked on evolutionary program synthesis using refinement types, and I am currently closely researching the application of software engineering techniques to the robotics field (Software Engineering for Robotics).

Publications

Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches 

ROSpec: A Domain-Specific Language for ROS-based Robot Software