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

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, learning for database systems, voice interfaces, computational fact checking, data mining

Graphics

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

Human Interaction

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

Machine Learning

Artificial intelligence, algorithms

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, and security

Theory of Computing

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

Vision

Computer vision