Margarida Ferreira

Margarida Ferreira

Since my Master’s Thesis, I have been researching program synthesis, the task of constructing a computer program based on a high-level description of what it should do. I will continue to explore this topic on my PhD: through program synthesis, I hope to find ways to help everyone easily and safely use a computer to automate daily tasks.

Research topics:Program Synthesis
Enrollment year: 2021
Thesis: Program Synthesis for Reverse Engineering
PT Supervisor: Inês Lynce
CMU Supervisor: Ruben Martins