Software Engineering Lab Dependable software development / Aspect-orientation / Research applications to massively multiplayer games

Scientific Computing Lab Scientific computing / Matrix computations / Numerical estimation methods / Communications / GPS positioning / Localization in wireless networks

Sable Lab Tool development for computation-intensive problems in Java / Better understanding and faster execution of Java programs

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

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

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

Network Dynamics Lab Measuring and predicting complex systems

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

Mobile Robotics Lab Sensor based robotics

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

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

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

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

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

Computational Vision Lab Image motion in cluttered scenes / Flow visualization / Specular reflections / Blur, depth, and occlusions / Light source modelling

Computational Structural Biology Theoretical models & algorithms/ Genomic sequences/ Molecular systems/ Cellular functions

Computational Complexity Lab Algebra / Communication complexity / Boolean functions

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

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

Advanced Networking Research Lab Design of secure and trusted networked computing systems / Authentication / Access control / Cloud computing