on 26-05-2020
Since the completion of my PhD, I have been a researcher at the Center for Quantum Information and Communication, Université libre de Bruxelles. (see more)
I finished my PhD in December 2017 in the Department of Electrical and Computer Engineering of Instituto Superior Tecnico where I was associated with the Physics of Information and Quantum Technologies Group, affiliated to Instituto de Telecomunicações. Since the completion of my PhD, I have been a researcher at the Center for Quantum Information and Communication, Université libre de Bruxelles. Currently, I am an FNRS postdoctoral researcher there, with my research centred around quantum computation, with an emphasis on designing quantum algorithms that help solve optimization problems faster than classical computers. I carry with me fond memories of being a PhD student at IT and am grateful for the opportunities the Institute provided me. I also miss the lovely city of Lisbon and the time I spent there. I hope that at some different bend of the road, I can return back to Lisbon and renew my collaboration with IT, albeit in a different capacity.
on 26-05-2020
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.