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.
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.
