Carlos Caleiro
Has grant
Universidade de Lisboa Instituto Superior Técnico
PortugalResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
Recent Grants
Grant: Close
GeTFun: Generalizing Truth-Functionality
Open Date: 2013-01-01
Close Date: 2016-01-01
Grant: Close
Semântica Computacional de Métodos Formais em Segurança
Open Date: 2010-01-01
Close Date:
Grant: Close
Applied Mathematics: from dynamical systems to cryptography
Open Date: 2009-01-01
Close Date:
Grant: Close
Kleistic Logic
Open Date: 2007-01-01
Close Date: 2009-01-01
Grant: Close
QuantLog: Logic for Quantum Computation and Information
Open Date: 2005-01-01
Close Date:
Articles (6)
Year:
2024
Year:
2022
Year:
2022
Year:
2022
Year:
2022
Year:
2020
Collaborators (1)
Ludovico Boratto
Assistant Professor
University of Cagliari
ITALY
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.