home
people
work
publications
theses
guests
events
seminars
projects
initiatives
past projects
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)