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)