Close this search box.

Catarina Gamboa

Catarina Gamboa

I’ve received a Master’s and Bachelor degree in Informatics from Faculty of Sciences, University of Lisbon. In a time where software is everywhere, I’m interested in helping developers write better programs and therefore create a better world. I have a particular interest in science communication, stories/books, music, and theater.

Research topics:Programming Languages, Software Verification, Human-Computer Interaction, Refinement Types
Enrollment year: 2022
PT Supervisor: Alcides Fonseca
CMU Supervisor: Jonathan Aldrich