I am a PhD student working under the supervision of Alcides Fonseca, Sara Silva, and Christopher S. Timperley. 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).
Paulo Santos
Research topics:Software Engineering, Robotics, Misconfigurations, Program Analysis
Enrollment year: 2021
- Research area: Software Engineering
- Institution in Portugal: FCUL
- CMU Department: Software and Societal Systems
Thesis: Specification-Driven Detection of Misconfigurations in ROS-based Robotic Systems
PT Supervisor: Alcides Fonseca
PT Supervisor: Sara Silva
CMU Supervisor: Christopher S. Timperley
