Currently, my research work mainly focuses on formal methods for the specification and verification of message-passing programs through types. (see more)
I joined Instituto de Telecomunicações (IT) in 2012, at the beginning of my PhD. I worked on probabilistic logics for the specification of security properties on cryptographic protocols, supervised by Professor Carlos Caleiro. With this work, I obtained a PhD degree in 2017. Now, I am an Invited Assistant Professor at the Department of Informatics of Faculty of Sciences, University of Lisbon. I am also a member of the Executive Committee of LASIGE research unit, where I am an integrated researcher. Currently, my research work mainly focuses on formal methods for the specification and verification of message-passing programs through types. Last Fall, I visited Carnegie Mellon University, where I was a visiting researcher at the Computer Science Department. There, I worked with Professor Frank Pfenning on an expressive class of types for message-passing programs containing constructors for lists, queues, or trees. I am sure that the pleasure and dedication that I have today at my work, and the results that I have achieved so far, are also due to the welcome and support that I had as an IT PhD student. Nowadays, I still maintain close contact and collaboration with IT researchers, and I am confident that new ideas for future collaborations will keep taking place.