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

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

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

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

Computational Complexity Lab Algebra / Communication complexity / Boolean functions

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

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

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