Modelling, Simulation & Design Lab Computer-aided multi-paradigm modelling and simulation / Model compilers & languages / Rapid application development / Reactive systems

Computer Games Lab efficient and playable game implementations / Modelling and analyzing different facts of game structure

Distributed Information System Lab Large-scale distributed data management / Cloud computing / Data consistency

Cryptography Lab Theoretical and practical crypography / Quantum information theory / Quantum computing

Computer Graphics Lab Physically based animation / Deformation / Contact / Modeling motion and control of humans and animals / Interaction capture

Cyber-Physical Systems Lab Design of secure and trusted networked computing systems / Authentication / Access control / Rights management

Comparative and Regulatory Genomics Algorithmic and machine learning approaches to biological sequence analysis / Comparative genomics / Genome evolution

Computational Linguistics Natural language processing / Computational semantics / Natural language generation / Automatic summarization

Pervasive Security and Privacy Mobile and pervasive computing / Networked embedded systems / Privacy-preserving computing / Cloud systems