Sable Lab Tool development for computation-intensive problems in Java / Better understanding and faster execution of Java programs
Computation and Logic Group Developing a theoretical and practical foundation for building and reasoning about reliable, safe software systems
Network Dynamics Lab Measuring and predicting complex systems
Pervasive Security and Privacy Mobile and pervasive computing / Networked embedded systems / Privacy-preserving computing / Cloud 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
Software Engineering Lab Dependable software development / Aspect-orientation / Research applications to massively multiplayer games
Reasoning and Learning Lab Probabilistic systems / Markov processes / Decision making under uncertainty / Reinforcement learning
Modelling, Simulation & Design Lab Computer-aided multi-paradigm modelling and simulation / Model compilers & languages / Rapid application development / Reactive systems
Computational Linguistics Natural language processing / Computational semantics / Natural language generation / Automatic summarization
A quick tour through phylogenetic networks
Amin Coja-Oghlan: The cavity method
Timothy J. O'Donnell: Computation, Storage, and Generalization in Language
Forthcoming TCS Colloquium...
Forthcoming TCS Seminar...
Modern Image Synthesis: Much more than just pretty pictures