Research Projects Undergraduate Research These are links to the home pages for a variety of departmental
research projects and groups. Some projects (marked with a
 )
have interactive demonstrations available - try them out!
SimLab Modeling and Simulation Project
Brings together the technologies of geometric modeling,
symbolic mathematics, numerical analysis,
compilation/code generation, and formal methods to forge
new software tools for creating scientific software. 
Robotics and Vision Lab
Focuses on the topics of machine vision, navigation and tracking,
robotic manipulation, distributed and cooperative
robotics, microelectromechanical systems, planning and control,
uncertainty and error, and geometric algorithms.
NuPrl
A system that implements a constructive theory of types. NuPrl
provides both a formal system of mathematics and a programming
language. It allows the user to express a wide variety of proof
and program-building methods as metalevel programs of the system
and use these to construct mathematical theorems and evaluate their
computational content.
High-Performance Systems Software
We develop software tools for make programs run faster on
high-performance machines such as parallel machines and uniprocessors
with deep memory hierarchies. Currently, we are working on a novel
approach to program restructuring called "data-centric compilation"
which we are using to generate blocked codes from unblocked ones and
to generate sparse-matrix codes from high-level specifications.
Horus
The Horus project has developed a modular and extensible
process-group communication system, addressing the requirements
of a wide variety of robust distributed applications.
Information Capture and Access
The information capture and access research group works on
ways that computers can locate information in the ever
increasing volume of online data, determine its structure,
and extract the information for human users. Cluster Computing Active Messages -- High-performance communication
Information about developments using the Active Messages
communication architecture.
Split-C -- A simple parallel extension to C
Information about developments of Split-C.
CUCS SP-2 -- Computer Science SP-2 info
Information about our baby SP-2. What's installed, where to find it
and how to use it.
Audio System for Technical Readings (AsTeR)
AsTeR --Audio System For Technical Readings-- is a computing
system for rendering technical documents in audio. ARPA funded projects
MediaNet: A High-Performance Platform for Network Media Processing
MediaNet combines three technologies developed at Cornell to develop
a flexible, high performance testbed for storing, transporting,
processing, and using multimedia data.
Horus Distributed Computing Environment
Formal Support for High Assurance Systems
Foundations and Support for Survivable Systems
|
