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.
Before joining the CMU Portugal Ph.D. program, I completed a master’s in computer science, working on formal methods and distributed systems under Professors Alcino Cunha and José Fragoso Santos. I’m interested in using formal methods to improve software reliability and security.
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.
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 specialisations. His research topics are related to SE and AI, specially using DL techniques to solve real-life problems.
I am a doctoral student in the CMU-Portugal dual-degree PhD program in Software Engineering at Carnegie Mellon University (CMU) and Computer Science and Engineering at Instituto Superior Técnico (IST) – Universidade de Lisboa.
I am being kindly advised by Prof. Paolo Romano at IST and Prof. David Garlan at CMU. I am currently working as a graduate research assistant at Software and Societal Systems Department (S3D) where I integrate the ABLE Group, and as a researcher at IST and in the Distributed, Parallel and Secure Systems (DPSS) Group at INESC-ID Lisboa.
Daniel Ramos is a dual-degree Ph.D. candidate at CMU and IST, specializing in automated large-scale code refactoring. His research has been featured in top venues such as ASE, ICSE, PLDI, and TOSEM. Notably, his work on PolyglotPiranha, a refactoring tool developed with Uber’s Programming Systems Group, is used by multibillion-dollar companies.
Maria da Loura Casimiro is a Software Engineering PhD student at the Distributed, Parallel and Secure Systems (DPSS) of INESC-ID, Instituto Superior Técnico, University of Lisbon and at the Institute for Software Research, Carnegie Mellon University. She received her BSc. (2016) and MSc. (2018) in Electrical and Computer Engineering from Instituto Superior Técnico, having a major in Computers and a minor in Systems, Decision and Control. Her research interests include cloud optimization, machine learning, self-adaptation of systems and planning.
