Search
Close this search box.

Ricardo Brancas

Ricardo Brancas
Affiliated_PhD

I am an Early Stage Researcher at the ARSR group in INESC-ID. I concluded my BSc. and MSc. at Instituto Superior Técnico. Recently I have been researching Program Synthesis applied to the synthesis of SQL queries, and how we can make sure to satisfy the user’s true intent.

Research topics:Program Synthesis
Enrollment year: 2021
Thesis: GRILSE: A General Framework for SymbIotic Multi-Specification Synthesis
PT Supervisor: Vasco Manquinho
CMU Supervisor: Ruben Martins