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
I’m focused on users’ motivations and concerns when using security software. More specifically, in my Masters’s Thesis, I aimed to communicate to users how formal verification can impact password managers. I’m also interested in other formally verified software such as decentralized finance protocols.
Catarina Gamboa
I’ve received a Master’s and Bachelor degree in Informatics from Faculty of Sciences, University of Lisbon. In a time where software is everywhere, I’m interested in helping developers write better programs and therefore create a better world. I have a particular interest in science communication, stories/books, music, and theater.
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.
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.
Paulo Casanova
