António Ravara

my picture


Secção de Lógica e Computação
Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais, 1096, Lisboa, PORTUGAL
Tel. +351 1 8417148
Fax. +351 1 8499242
amar@math.ist.utl.pt

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.