Cryptography Lab Theoretical and practical crypography / Quantum information theory / Quantum computing
Scientific Computing Lab Scientific computing / Matrix computations / Numerical estimation methods / Communications / GPS positioning / Localization in wireless networks
Mobile Robotics Lab Sensor based robotics
Network Dynamics Lab Measuring and predicting complex systems
Computation and Logic Group Developing a theoretical and practical foundation for building and reasoning about reliable, safe software systems
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
Sable Lab Tool development for computation-intensive problems in Java / Better understanding and faster execution of Java programs
Computational Structural Biology Theoretical models & algorithms/ Genomic sequences/ Molecular systems/ Cellular functions
Comparative and Regulatory Genomics Algorithmic and machine learning approaches to biological sequence analysis / Comparative genomics / Genome evolution
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
Amin Coja-Oghlan: The cavity method
A quick tour through phylogenetic networks