Tiago Carvalho

Secção de Lógica e Computação
Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais
1049-001 Lisboa
Tel: +351 21 8417144
Fax: +351 21 8417598

      MSc student at the Department of Mathematics of IST - UTL, and a student member of CLC.

I was born in Lisbon, Portugal, in December 1983. I finished my MSc. in Mathematics and Applications at IST in September 2007. My Master Thesis, Spatial Types For Concurrency: A Spatial Logic to Specify and Verify Distributed Systems, was supervised by Professor António Ravara.

From September 2006 until August 2007, I also worked under the supervision of Professor António Ravara for the Space-Time-Types Project, from which I was supported by a research grant.

Last update: March 22, 2008.