home
people
work
publications
theses
guests
events
seminars
projects
past projects
Confident: Communication Contracts for Distributed Systems Development
(FCT - PTDC)
GeTFun: Generalizing Truth-Functionality
(EU FP7)
ComFormCrypt: Computational Semantics of Formal Methods in Cryptography
(FCT - PTDC)
QuantPrivTel: Quantum Private Telecommunications
(FCT - PTDC)
QuantTel: Quantum Telecommunications
(IT)
MONACO: MOdels for New Applications of Concurrency
(German-Portuguese)
LAP: Linear Algebra of bounded resources Programs
GTF: Graph-Theoretic account of Fibring
(SQIG initiative)
QSec: Quantum Security
(FCT - PTDC)
KLog: Kleistic Logic
(FCT - PTDC)
Sensoria
(EU)
QuantLog: Logic in Quantum Computation and Information
(FCT - POCI)
Space-Time-Types: Behavioural and Spatial Type Systems
(FCT - POSC)
ConTComp: Continuous Time Computation and Complexity
(FCT - POCTI)
Multiparticle quantum walks and their algorithmic applications
(Anglo-Portuguese)
Calculabilité et complexité des modèles de calculs à temps continu
(Franco-Portuguese)