Catarina Gamboa is a dual-degree Ph.D. student at CMU and FCUL, specializing in programming languages and usable software verification. She develops innovative, developer-friendly tools like LiquidJava and has presented her work at leading conferences like ICSE. Catarina is also actively involved in organizing academic and cultural events.
Catarina Gamboa
Research topics:Programming Languages, Software Verification, Human-Computer Interaction, Refinement Types
Enrollment year: 2022
- Research area: Software Engineering
- Institution in Portugal: FCUL
- CMU Department: Software and Societal Systems
Thesis: Improving the Usability of Liquid Types for Reliable Software
PT Supervisor: Alcides Fonseca
CMU Supervisor: Jonathan Aldrich
