Research output per year
Research output per year
DI - Departamento de Informática
Faculdade de Ciências e Tecnologia/UNL
Edifício II
Campus de Caparica
2829-516 Caparica
Portugal
Accepting PhD Students
Research activity per year
Computer Science, Doctorate, A Logical Foundation for Session-based Concurrent Computation, Carnegie Mellon University
Award Date: 29 Apr 2015
Computer Science, Doctorate, A Logical Foundation for Session-based Concurrent Computation, Universidade NOVA de Lisboa
Award Date: 29 Apr 2015
Research Associate, Imperial College London
22 Jun 2015 → 16 Feb 2018
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Contribution to journal › Article › peer-review