I graduated in Applied Mathematics and Computation (LMAC) at IST (UTL, Lisboa) in July 2006. Between 2007 and 2011 I was 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.

From 2012 to 2018 I was a postdoc under the supervision of Carlos Caleiro with a postdoctoral grant from FCT.

Modal logic | Products of modal logics | Reactive models | Abstract deductive systems | Combination of logics | Compositionality | Generalized truth-functionality | Partial and non-deterministic logical matrices

IT

Google scholar

Researchgate

ORCID