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

Computation and Logic Group Developing a theoretical and practical foundation for building and reasoning about reliable, safe software systems

Mobile Robotics Lab Sensor based robotics

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

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

Reasoning and Learning Lab Probabilistic systems / Markov processes / Decision making under uncertainty / Reinforcement learning

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

Distributed Simulation Lab Synchronization techniques / Load-balancing algorithms / VLSI simulation / Astrophysics simulation

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