|
Secção de Lógica e Computação
|
|
Department of Informatics
|
I am a student member of the SQIG, previously Center for Logic and Computation, since March 2006.
I graduated in Applied Mathematics and Computation (LMAC) at IST (UTL,Lisboa) in July 2006. My diploma thesis Applications of supported quantales to modal logic was supervised by Pedro Resende.
Between 2007 and 2011 I have been a Phd student at King's College London under the supervision of Dov Gabbay and Agi Kurucz. During this period I was also a teaching assistant on Foundations of Computing I and Computer Science Logic.
Recently I defended my Phd thesis titled Modal logic for changing systems.
Non-finitely axiomatisable two-dimensional logics, with Agi Kurucz, submited in 2010.
Modal logics of reactive frames, with D. M. Gabbay, Studia Logica, 2009.
An algebraic generalization of Kripke structures, with P. Resende, Math. Proc. Cambridge Philos. Soc. 145 549-577, 2008.