CS Research

Artificial Intelligence

Artificial Intelligence
Knowledge representation, machine learning, NLP and IR, reasoning, robotics, search, vision

Computational Biology

Computational Biology
Sequence analysis, structure analysis, protein classification, gene networks, molecular dynamics

Database Systems

Database Systems
Database systems, data-driven games, data privacy and security, digital libraries, data mining

Graphics

Graphics
Interactive rendering, global illumination, measurement, simulation, sound, perception

Programming Languages

Programming Languages
Programming language design and implementation, optimizing compilers, type theory, formal verification

Robotics

Robotics
Perception, control, learning, aerial robots, bio-inspired robots, household robots

Security

Security
Secure network services, language-based security, mobile code, privacy, policies, verifiable systems

Systems and Networking

Systems and Networking
Operating systems, distributed computing, networking, wireless systems, security and protection