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.
Manuel Barros
Cláudia Mamede
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
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
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.
Paulo Santos
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
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.
Pedro Mendes
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.
Maria Casimiro
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.
Paulo Casanova
