Sérgio Marcelino

Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal


Researcher at Instituto de Telecomunicações



Short Biography

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