• 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)
location | contact | +info
Webpage under Creative Commons License. 2009 SQIG-IT. Designed by Pedro Baltazar