design
You are here: CS Home » Research

Research

The computing and information revolution is transforming society. Cornell Computer Science is a leader in this transformation, producing cutting-edge research in many important areas. The excellence of Cornell faculty and students, and their drive to discover and collaborate, ensure our leadership will continue to grow.

The contributions of Cornell Computer Science to research and education are widely recognized, as shown by the two Turing Awards and the MacArthur "genius" award our faculty have received, among numerous other awards.

To explore current computer science research at Cornell, follow links at the left or below.

Research Areas

Artificial Intelligence
machine learning, natural language processing, data mining, knowledge representation, planning, reasoning under uncertainty, search, vision
Computational Biology
sequence analysis, structure analysis, protein classification, gene networks, molecular dynamics
Computer Architecture and VLSI
processor architecture, networking, asynchronous VLSI, distributed computing
Database Systems
database systems, data mining
Graphics
interactive rendering, global illumination, modeling, measurement, image-based modeling, perception
Programming Languages
programming language design and implementation, compilers, type theory, software verification, language-based security
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