André Catarino has worked in both industry and research institutions across software engineering, energy, and finance, building AI systems from ideation and experimentation to deployment and monitoring. His research bridges AI4SE and SE4AI, focusing on secure code generation and advancing secure and reliable coding agents.
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.
Rui Melo is a PhD student at FEUP, Portugal, researching the intersection of Machine Learning and Software Engineering. He holds an MSc from IST and previously worked as an AI Engineer at a U.S. legal-tech startup. His research focuses on enhancing code generation through adversarial ML and mechanistic interpretability.
I have a Bachelor’s and a Master’s degree from the University of Minho. I am passionate about using formal methods for reasoning about distributed systems.
Cláudia Mamede has a BSc & MSc in Informatics and Computing Engineering from FEUP (Portugal). With the constant digitalization of the world, her focus is on how crucial it is to design better and safer software. Cláudia’s research interests revolve around the applications of deep learning to help detect and fix software vulnerabilities as fast as possible.
Carolina Carreira, a Ph.D. candidate at Carnegie Mellon University and IST, focuses on usable security. Her research interests include the usability of formal methods, the human aspects of software engineering, and privacy. Additionally, she actively contributes to the community by organizing seminars and actively participating in the SIGPLAN-M.
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.
I am a PhD student working under the supervision of Alcides Fonseca, Sara Silva, and Christopher S. Timperley. My research focuses on developing program analysis techniques to detect errors in software systems. Previously, I worked on evolutionary program synthesis using refinement types, and I am currently closely researching the application of software engineering techniques to the robotics field (Software Engineering for Robotics).
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.
