Research | Publications | Teaching | Short CV |
PhD thesis in Mathematics - Typing Non-uniform Concurrent Objects.
Assistant Professor at the Section of Logic and Computation of the Department of Mathematics of IST of the Technical University of Lisbon.
Member of the Security and Quantum Information Group at IT.