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 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.
Since February of 2012 I am a postdoc under the supervision of Carlos Caleiro and Agi Kurucz with a postdoctoral grant from FCT.