|
Secção de Lógica e Computação
|
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.