Carlos Caleiro

Departamento de Matemática
Instituto Superior Técnico

Universidade de Lisboa

Av. Rovisco Pais 1049-001, Lisboa, Portugal

 

carlos.caleiro@tecnico.ulisboa.pt
c.caleiro at skype

 

Associate Professor for Logic and Computation at IST
Founding member and Scientific Council Vice-Chair of SQIG

 

ORC ID 0000-0001-5587-6585

Microsoft Academic Author 1687820


Short Biography

Born in 1970 in Lisbon, Carlos Caleiro graduated in Applied Mathematics and Computation at IST in 1993 and received his PhD in Mathematics from Universidade Técnica de Lisboa in 2000. Since 2010 he is Associate Professor at the Department of Mathematics of IST, now at Universidade de Lisboa.


Teaching


Research

His research focuses on applications of logic to computer science, including information security, temporal logic, algebraization of logics, combination of logics, and abstract deductive systems.


Projects


Publications


Supervision

PhD Students
current: Andreia Mordido (since 2011)
past: Maxime Gamboni (2010); Ricardo Gonçalves (2008); João Marcos (2005)
Post-Docs
current: Sérgio Marcelino (since 2012)
past: Marco Volpe (2011)