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

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

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

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

 

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

Computer Architecture and VLSI
Async. VLSI & architecture
Distributed systems group

Operating Systems, Networks and Distributed Computing
Quicksilver
Live Distributed Objects
Beehive
Herbivore
MagnetOS

 


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