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