Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal
ccal@math.ist.utl.pt
c.caleiro at Skype
Assistant Professor for Logic and Computation at IST
Founding member of SQIG
Scientific Council Vice-Chair of SQIG
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.
Most of his research has been focused on applications of logic to computer science, including combination of logics, theory of institutions, algebraization of logics, temporal logic and kleistic logic.