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.

• Elements of Programming
• Theory of Computation

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.

• GeTFun: Generalizing Truth-Functionality (EU FP7 - Marie Curie, 2013-2016)
• KLog: Kleistic Logic (FCT - PTDC, 2007-2010)

• Journal papers
• All (including submitted papers)

PhD Students

current: Pedro Filipe (since 2017)

past: Guilherme Ramos (2018); Andreia Mordido (2017); Bruno Conchinha (2014); Maxime Gamboni (2010); Ricardo Gonçalves (2008); João Marcos (2005)

Post-Docs

current:

past: Sérgio Marcelino (2012-2018); Marco Volpe (2011)