Born in 1970 in Lisbon, Carlos Caleiro graduated in Applied Mathematics and Computation at IST in 1993 and received his PhD in Mathematics from the Technical University of Lisbon in 2000.

• Elements of Programming
• Discrete Mathematics
• Theory of Computation

Most of his research focuses on applications of logic to computer science, including information security, temporal logic, algebraization of logics, combination of logics, and theory of institutions.

• KLog: Kleistic Logic

• Journal papers
• All (including submitted papers)

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)