Sérgio Marcelino

Dep. Matemática, Instituto Superior Técnico, Universidade de Lisboa, Portugal

SQIG, Instituto de Telecomunicações, Lisboa, Portugal

E-mail: sergiortm at gmail . com

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 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.

Research interests

Modal logic | Products of modal logic | Reactive models | Abstract deductive systems | Combination of logics