Gates Hall at night
CS Research
Artificial Intelligence
Knowledge representation, machine learning, NLP and IR, reasoning, robotics, search, vision
Computational Biology
Sequence analysis, structure analysis, protein classification, gene networks, molecular dynamics
Computer Architecture & VLSI
Processor architecture, networking, asynchronous VLSI, distributed computing
Database Systems
Database systems, data-driven games, data privacy and security, digital libraries, data mining
Graphics
Interactive rendering, global illumination, measurement, simulation, sound, perception
Programming Languages
Programming language design and implementation, optimizing compilers, type theory, formal verification
Robotics
Perception, control, learning, aerial robots, bio-inspired robots, household robots
Scientific Computing
Numerical analysis, computational geometry, physically based animation
Security
Secure network services, language-based security, mobile code, privacy, policies, verifiable systems
Systems and Networking
Operating systems, distributed computing, networking, wireless systems, security and protection
Theory of Computing
Algorithms, complexity, logic