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 two Turing Awards, two Von Neumann medals, two MacArthur "genius" awards, and dozens of NSF Career awards our faculty have received, among numerous other signs of success and influence.

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

Research Areas

ai icon
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
Computer Architecture and VLSI
Computer Architecture & VLSI

Processor architecture, networking, asynchronous VLSI, distributed computing
Database Systems
Database Systems

Database systems, data-driven games, learning for database systems, voice interfaces, computational fact checking, data mining
Graphics
Graphics

Interactive rendering, global illumination, measurement, simulation, sound, perception
Human Interaction
Human Interaction

HCI, interface design, computational social science, education, computing and society
Machine Learning

Artificial intelligence, algorithms
Natural Language Processing

Please visit the Cornell NLP Group website for more information.

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
Scientific Computing
Scientific Computing

Numerical analysis, computational geometry, physically based animation
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, and security
Theory
Theory of Computing

The theory of computing is the study of efficient computation, models of computational processes, and their limits.
Vision

Computer vision