English
Research groups: Programming languages and part of Logic and Semantics
Research groups: Ubiquitous Computing and Interaction and Computer Mediated Activity
Research groups: Cryptography and Security and part of Logic and Semantics