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.
Paulo Santos
I finished my BSc. and MSc. degrees in Informatics at Faculdade de Ciências da Universidade de Lisboa. I have an interest in programming languages, program repair, and genetic programming (namely in the combination of all of them). Outside of the geek world, I’m an easy-going person who enjoys meeting new people.
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 of the CMU-Portugal dual-degree program in Software Engineering being advised by Prof. Paolo Romano (IST) and Prof. David Garlan (CMU). I am also working in the CAMELOT research project funded by CMU-Portugal at the Distributed Systems Group at INESC-ID Lisboa and IST. I received my BSc. (2017) and MSc. (2017) in Electrical and Computer Engineering from Instituto Superior Técnico, with a major specialization area in Computer Engineering and a minor in Systems, Decision and Control.
Daniel Ramos
I am PhD Student in the School of Computer Science at Carnegie Mellon University. Broadly, my research goal is to create methods and tools to help software developers by automating tedious (but necessary) refactoring tasks. Currently, my primary focus is on automatic library migration and transpiration, but I have also worked on program synthesis.
Maria Casimiro
Maria da Loura Casimiro is a Software Engineering PhD student at the Distributed Systems Group 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.
Sven Stork
Paulo Casanova
