Academic Bio

I am a 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.

In 2011 I successfully defended my Phd thesis titled **Modal logic for changing systems**.

Since February of 2012 I am a postdoc under the supervision of Carlos Caleiro and Agi Kurucz with a postdoctoral grant from FCT.

Publications

Finite frames for K4.3xS5 are decidable, with Agi Kurucz, submited.

Global view on reactivity: switch graphs and their logics, with Dov Gabbay, submited.

Non-finitely axiomatisable two-dimensional logics, with Agi Kurucz, accepted at the Journal of Symbolic Logic.

Modal logics of reactive frames, with D. M. Gabbay, Studia Logica, 2009.

An algebraic generalization of Kripke structures, with P. Resende, Mathematical Proceedings of the Cambridge Philosophical Society, 145 : 549-577, 2008.