Search
Close this search box.

Ricardo Brancas

My research focuses on helping programmers and non-programmers on their daily tasks, by leveraging Program Synthesis and Program Repair techniques. Some of my other research interests include Formal Methods and Compilers.

Research topics:Program Synthesis, Program Verification, Compilers
Enrollment year: 2021
Thesis: Helping Novice Programmers through Automated Synthesis and Debugging of Declarative Program
PT Supervisor: Vasco Manquinho
CMU Supervisor: Ruben Martins