Team
Full Member
Department & Location
Contacts
carlos.caleiro
+351 21 8417138
CURRENT POSITIONS
- Professor of Mathematics at IST
Carlos Caleiro
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.
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.
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.
Publications
Selected publications and profiles:
Projects
Recent and ongoing projects:
Supervision
Supervised PhD theses:
PhD Students
Pedro Filipe
Computability of logical problems associated to partial non-deterministic matrices (2022 - IST)
Guilherme Ramos
Improving information security in ranking, recommender and control systems (2018 - IST)
Andreia Mordido
A probabilistic logic over equations and domain restrictions (2017 - IST)
Bruno Conchinha
Equivalence properties and probabilistic reasoning in symbolic security protocol analysis (2014 - IST)
Maxime Gamboni
Models and Proof Methods for Information Protection (2010 - IST)
Ricardo Gonçalves
Algebraizability of Quantum Logics (2008 - IST)
Courses taught over the years:
Elements of Programming
Undergraduate course
Theory of Computation
Undergraduate course