- Diversity, Equity, and Inclusion
- Research News
- Department Life
- Oral History of Cornell CS
- Department Timeline
- Job Postings
- Ithaca Info
- Internal info
- Graduation Information
- Cornell Tech Colloquium
- Student Colloquium
- Spring 2023 Colloquium
- Conway-Walker Lecture Series
- Salton Lecture Series
- Seminars / Lectures
- Big Red Hacks
- Cornell University High School Programming Contests 2023
- Game Design Initiative
- CSMore: The Rising Sophomore Summer Program in Computer Science
- Explore CS Research
- Research Night
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.
Knowledge representation, machine learning, NLP and IR, reasoning, robotics, search, vision
Statistical genetics, sequence analysis, structure analysis, genome assembly, protein classification, gene networks, molecular dynamics
Computer Architecture & VLSI
Processor architecture, networking, asynchronous VLSI, distributed computing
Database systems, data-driven games, learning for database systems, voice interfaces, computational fact checking, data mining
HCI, interface design, computational social science, education, computing and society
Programming language design and implementation, optimizing compilers, type theory, formal verification
Secure network services, language-based security, mobile code, privacy, policies, verifiable systems
The software engineering group at Cornell is interested in all aspects of research for helping developers produce high quality software.
Theory of Computing
The theory of computing is the study of efficient computation, models of computational processes, and their limits.