Research Interests

My interests lie at the intersection of Programming Language Design and Usable Software Verification. I focus on enhancing software reliability by combining Software Verification with Human-Computer Interaction techniques. Through this approach, I aim to create tools that are not only powerful but also practical and intuitive for developers in their daily 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

Before starting my Ph.D., I completed both my Master's and Bachelor's degrees at the University of Lisbon. During my academic journey, I had the opportunity to teach several classes at FCUL and CMU. Along the way, I was honored with recognition awards for my work, reflecting my dedication and achievements over the years.
More Education & Awards

I enjoy actively engaging with the communities where I live and work. Over the years, I’ve contributed to various conference committees and supported conferences as a student volunteer.
In addition, I’ve helped organize events within my research units and collaborated with non-governmental organizations focused on culture and creativity.
More on Outreach & Activities