PhD Student in Software Engineering
Catarina is enrolled in the Dual PhD Program in Software Engineering at Carnegie Mellon University and at Faculdade de Ciências da Universidade de Lisboa. She is a researcher at ISR and at Lasige in the research line of Reliable Software Systems. She is advised by Alcides Fonseca and Jonathan Aldrich . Her main research interests lie in Programming Languages, Software Verification and their connection with Human Factors and Human Computer Interaction. Check her most recent project LiquidJava !
Currently at Carnegie Mellon University, Pittsbugh, PA, United State.