Hi! Welcome to my page

I am a Ph.D. student at S3D, Carnegie Mellon University (USA), and at Lasige, Faculdade de Ciências da Universidade de Lisboa (Portugal).
My advisors are Alcides Fonseca and Jonathan Aldrich.

Imagine in a world with more reliable software, where our verification techniques are more user-friendly and developers all over the world can use them. Let's create this world together!

Catarina Gamboa giving a presetation at ICSE2023 with a full room.

Research Interests



I am interested in both the Design of Programming Languages and Usable Software Verification. My current projects aim to enhance software reliability by integrating Software Verification with Human-Computer Interaction techniques, thereby creating tools that are valuable, practical, and usable by developers in their everyday work.

This is one of the goals of LiquidJava, check it out!

Publications


I have several workshop papers, and one full paper at ICSE 2023 (Core A*). It is available at both IEEE and ACM libraries:

Usability-Oriented Design of Liquid Types for Java
by Catarina Gamboa, Paulo Canelas, Christopher Timperley, Alcides Fonseca
More Publications
Catarina Gamboa at ICSE2023 panel.
Catarina Gamboa and friends at CMU.
Before starting the Ph.D., I took a Master's and Bachelor's at the University of Lisbon.
During my studies, I taught several classes both at FCUL and CMU. And, I have also received some recognition awards for my work across the years.
More Education & Awards

I like to be involved in the communities where I live and work. Therefore, I have participated in different Conference Committees, and helped in conferences as a student volunteer.
I have also helped organize events both inside my research units and in non-governmental organizations related to culture and creativity.
More on Outreach & Activities
content-photo


Contact me!

Feel free to reach me via email at .
You can also find me in GitHub and LinkedIn.

My resume is also available for download CV