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

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

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

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

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

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

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

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