I’m passionate about formal reasoning, verification tools, and programming languages. I hold a Master’s in Informatics Engineering from the University of Minho, where I explored the link between formal specifications and executable code. I also spent a semester at LMU Munich through Erasmus+, focusing on formal methods and model checking.
Catarina Gamboa is a dual-degree Ph.D. student at CMU and FCUL, specializing in programming languages and usable software verification. She develops innovative, developer-friendly tools like LiquidJava and has presented her work at leading conferences like ICSE. Catarina is also actively involved in organizing academic and cultural events.
LuÃs Gomes is a Software Engineer, whose career is marked by impactful projects, both in academic and industrial contexts. LuÃs’ Master’s degree in CS was carried out at Univ. of Minho, with Intelligent Systems and Data Science specializations. His research topics are related to SE and AI, specially using DL techniques to solve real-life problems.
