CS Logo      
space
bar Information bar Events bar Admissions bar People bar Courses bar DegreePrograms bar Research bar Publications bar
space
design
space
Research
space
CS Home
space

Research

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

The contributions of Cornell Computer Science to research and education are widely recognized. In 2002 alone, a current Cornell faculty member and a recent graduate of the program each won a MacArthur "genius" award for innovative work in information technology.

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

Research Areas

Architecture
processor architecture, networking, asynchronous VLSI, distributed computing

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

Databases and Digital Libraries
database systems, digital libraries, data mining

Languages and Compilation
programming language design and implementation, optimizing compilers, type theory, formal verification, language-based security

Graphics
interactive rendering, global illumination, modeling, measurement, image-based modeling, perception

Operating Systems, Networks, and Distributed Computing
operating systems, distributed computing, networking, wireless systems, security and protection

Scientific Computing
numerical analysis, computational geometry, physically based aimation

Security
secure network services, language-based security, mobile code, privacy, logic, verifiable systems

Theory of Computing
algorithms, complexity, logic

Ongoing Research Projects

Systems
COCA: Cornell On-line Certification Authority
MagnetOS: OS support for ad hoc networks
Ensemble: distributed communication system
CliqueNet: Peer-to-peer anonymous comm.
Bifrost location-independent computing

Languages and Compilation
Language-based security
Cyclone: a safe dialect of C
NuPRL logic-based software development
TAL: Typed Assembly Language
Program composition for embedded systems
Jif: Java Information Flow
PolyJ: Java with parameterized types
HPSS: High-Performance Systems Software

Computational Biology
LOOPP: protein fold recognition software
ProtoMap: hierarchical protein sequence classification
BioSpace: 3D protein model database

 

Databases and Digital Libraries
Cayuga Complex Event Processing
Data Management and Analysis Services for Data-Driven Science
High-Level Programming Paradigms for Data-Driven Web Applications
Digital libraries
Interactive Digital Libraries of Formal Algorithmic Knowledge

Artificial Intelligence
STRIVER: a search engine that learns
TASK: analysis and synthesis of agent systems
SVM-light support vector machine
Machine Learning group
Natural Language Processing group

Architecture
Async. VLSI & architecture
Active memory clusters
Distributed systems group

space
bar
bar
[ About Us · Contact Us · Feedback · Site Map ]