I started doing research at LASIGE during my master's thesis and I am now a PhD researcher at both LASIGE (University of Lisbon) and the Software and Societal Systems Department (S3D) at Carnegie Mellon University. My research makes program verification usable for developers and AI agents, from studying why developers struggle with liquid types to building LiquidJava and synthesizing specifications with LLM agents.
Second internship at Uber, with the AI Verification & Efficiency team (Developer Platform). I worked on verifying code changes produced by coding agents, so developers can keep quality high as AI takes on more of the work.
Designed and implemented agentic workflows using LLMs and custom MCP tools to automate Python library migrations for enterprise development teams.
During this summer internship, I helped improve the static analysis tools across different programming languages, especially in the creation of def-use chains, and contributed to the testing framework using fuzzing and applying the tool to open-source projects. I had the pleasure to work in the PL team with Raj Barik, Ameya Ketkar, Lazaro Clapp, and Ali-Reza Adl-Tabatabai.
At CMU, I was a TA for the course 17-480/17-780 API Design, working with Joshua Bloch on the major steps of API design, such as gathering requirements, documenting, testing, implementing, refining, and evolving APIs. At the University of Lisbon, I taught introductory Programming courses (theoretical-practical and laboratory classes) to more than 100 undergraduate students of Information Technology, Mathematics, Physics, and other programs.
One month summer internship in the company of software development Runtime Revolution.
Developed some projects using Ruby on Rails and React.
I am enrolled in the Dual PhD CMU-Portugal, completing courses and research at both CMU and U. Lisbon, advised by Alcides Fonseca and Jonathan Aldrich.
GPA: 18/20
Courses included:
Software Design(18/20)
Software Reliability(18/20)
Software Verification and Validation(18/20)
Compiling Techniques(19/20)
Master thesis about LiquidJava: Extending Java with Refinements, advised by Alcides Fonseca and Chris Timperley.
GPA: 17/20; class A in EECC; 2nd in class
Courses included:
Algorithms and Data Structures(18/20)
Principles of Programming(20/20)
Construction of Software Systems(18/20)
Information Systems Analysis and Design(18/20)
Received the Best PhD Poster award at the LASIGE Workshop 2026, for the poster Barista: Synthesizing Typestate Specifications with LLM Agents.
Co-author of Are Large Language Models Memorizing Bug Benchmarks?, which received the Best Paper award at LLM4Code 2025, co-located with ICSE 2025.
Was awarded with one of the 50 scholarships given in the scope of Huawei's program Seeds for the Future 2.0, in collaboration with .PT, to empower students in the STEM areas.
Received the Best Poster award at the INFORUM 2021 Conference, in Lisbon, Portugal.
Received the academic excellence award for the best student of the first year of the MSc on Informatics Engineering.
Received Academic excellence awards for the three years of the Bachelor degree for the obtained grades.
Belongs to the team that received the prize on the Business Ideas Contest Wine Discoveries, inserted in European City of Wine 2018 Torres Vedras and Alenquer, with the wine tourism project Gamboa's Place.
Belongs to the team that received the third place on the Business Ideas Contest for entrepreneurship Poliempreende, promoted by Politecnico de Leiria, with the idea FilmU.