STUDENTS & POSTDOCS

PhD Students

Pedro Rocha (2023) A Logical Foundation For Typeful Programming With Shared State. PhD Universidade Nova de Lisboa.
Main reviewers: Lars Birkedal, Nobuko Yoshida. Now Software Engineer at Critical Techworks.
Luisa Lourenço (2016) Dependent Information Flow Types. PhD Universidade Nova de Lisboa.
Main reviewers Deepak Garg, Ana Matos. Now R&D Project Lead at Outsystems SA:
Filipe Militão (2015) Rely-Guarantee Protocols for Safe Interference over Shared Memory. PhD Universidade Nova de Lisboa – Carnegie-Melon (co-supervised with Jonathan Aldrich).
Main reviewers: Karl Crary, Neel Krishnaswami. Now Senior Software Engineer at Amazon.
Bernardo Toninho (2015) A Logical Foundation for Session-based Concurrent Computation. PhD Universidade Nova de Lisboa – Carnegie-Melon (co-supervised with Frank Pfenning).
Main reviewers: Simon Gay, Robert Harper. Now Assistant Professor at NOVA FCT.
Hugo T. Vieira (2010) A Calculus for Modelling and Analysing Conversations in Service Oriented Computing. PhD Universidade Nova de Lisboa.
Main reviewers Nobuko Yoshida, Vasco Vasconcelos. Now Senior Researcher at Evidence Srl
João C. Seco (2006) Languages and Types for Component-Based Programming.
Main reviewers: Sophia Drossopoulou, Davide Ancona. Now Associate Professor at NOVA FCT.
Etienne Lozes (2004) Expressiveness of Spatial Logics. PhD Universidade Nova de Lisboa – ENS Lyon (co-supervised with Daniel Hirshkoff).
Main reviewers: Pierre-Louis Curien, Stephan Merry. Now Full Professor at Université Cote-de-Azur.

Post Docs

Pedro Rocha (2022-2023). Now Software Engineer at Critical Techworks.
Ramunas Gutlovas(2016-17). Now Software Developer at Ericsson Sweden.
Jorge A. Pérez (2010-2014). Now Associate Professor at Groningen University.
Xudong Guan (2004-2006). Now Principal Software Engineer at Microsoft Corporation Redmond.