Funded Research
Submitted
Research Proposals
Collaborative
Funded Research at Cornell
Research
Interests of Faculty and Senior Researchers
Research
|
Investigator |
Sponsor
|
Title
|
Award
|
Period of Award
|
|
|
Arms |
Library of Congress |
Collecting and Preserving Open-access Materials on the Web |
72,214 |
1/1/00 |
12/31/00 |
|
Arms |
Intel |
Nomadic Digital Libraries |
72,000 |
|
|
|
Arms |
NSF |
The NSDL Central System |
999,827 |
7/1/00 |
6/30/01 |
|
Birman |
BBN |
Metacomputer Across WANs |
138,031 |
8/28/96 |
8/28/99 |
|
Birman |
DARPA/ONR |
Secure Realtime Process Groups in Horus: A Communications Infrastructure
for Remote Collaboration |
2,620,284 |
6/15/96 |
9/14/99 |
|
Birman |
NASA/JPL |
Ensemble and Spinglass: Technologies for High Performance Cluster Management
and Communication |
240,000 |
5/1/00 |
9/30/01 |
|
Birman/ Constable |
DARPA/ AFRL |
Spinglass Adaptive Probabilistic Tools for Advanced Networks |
3,839,386 |
7/1/99 |
6/29/02 |
|
Bonnet/Gehrke |
AFRL |
Flexible Decision Support in Device-saturated Environments- SenseIT |
510,000 |
9/23/99 |
9/22/02 |
|
Cardie |
DARPA/ONR |
Rapidly Portable Translingual Information Extraction and Interactive Multidocument
Summarization |
1,294,464 |
5/18/00 |
5/17/03 |
|
Cardie |
NSF |
(CAREER) Knowledge Acquisition for Natural Language Understanding |
212,500 |
4/1/96 |
3/31/00 |
|
Cardie/ Buckley |
DARPA/ TIPSTER |
Improving End-user Efficiency in a TIPSTER-compliant IR System |
586,996 |
12/1/96 |
11/30/99 |
|
Cardie |
NSF/POWRE |
Integrating Natural Language Processing and Information Retrieval for
Intelligent Text-processing |
68,695 |
9/1/00 |
8/31/02 |
|
Coleman |
DOE |
Efficient Algorithms for Large-scale Constrained Optimization with Application
to Inverse Problems |
1,362,288 |
5/1/86 |
9/14/00 |
|
Constable/ Birman |
DARPA/ AF |
Construction Methodologies for Improving Distributed System Security |
3,202,755 |
8/15/95 |
11/30/99 |
|
Constable |
NSF |
Creating and Evaluating Formal Courseware |
283,975 |
12/31/99 |
12/31/01 |
|
Constable |
NSF |
Exploring New Constructs in Computational Type Theory |
229,500 |
9/1/95 |
8/31/00 |
|
Constable |
DARPA/ AF |
An Open Logical Programming Environment: A Practical Framework for Sharing
Formal Models |
2,270,000 |
6/2/98 |
|
|
Department |
NSF |
A Next Generation Computing and Communications Substrate |
1,271,298 |
7/1/97 |
6/30/02 |
|
Elber |
NIH |
Physiology of Ionic Channels: Extended Simulations |
38,040 |
1/1/99 |
4/30/00 |
|
Elber |
DARPA/ONR |
Evolution of Protein Structures as a Tool to Predict Protein Shape and
Protein Function |
240,000 |
5/18/00 |
5/17/01 |
|
Elber |
NSF |
Kinetics of Ion Channels by Atomically Detailed Computer Simulations |
465,743 |
4/1/00 |
3/31/01 |
|
Elber |
NIH |
Long Time Dynamics of Biomolecules |
1,214,013 |
4/1/00 |
3/31/05 |
|
Gehrke |
NSF |
JAGUAR: JAVA in Next Generation |
370,000 |
9/1/98 |
8/31/00 |
|
Gehrke |
NSF |
Interactive and Online Data Mining |
346,863 |
9/1/00 |
8/31/03 |
|
Gomes |
AFRL |
Compute-intensive Methods for Combinatorial Problems |
395,817 |
3/1/99 |
2/28/00 |
|
Gomes |
AFRL |
Hybrid Approaches for Combinatorial Problems |
304,835 |
3/1/99 |
2/28/02 |
|
Gomes |
AF |
A Platform for the Experimental Study of Compute-intensive Combinatorial
Methods in Planning |
158,076 |
3/15/99 |
3/14/00 |
|
Gries/ Teitelbaum |
NSF |
Software Engineering with a Transformational System |
270,000 |
9/1/95 |
8/31/99 |
|
Halpern |
NSF |
A Qualitative Framework for Reasoning Under Uncertainty |
348,000 |
9/1/96 |
8/30/00 |
|
Halpern |
NSF |
SGER: Decision-making in Complex Systems |
90,000 |
9/1/00 |
8/31/01 |
|
Halpern
|
ONR |
Resource Bounded Knowledge and Security |
200,000 |
3/1/00 |
2/28/02 |
|
Huttenlocher/
Zabih |
DARPA/ ARO |
Robust, Online Event Detection and Classification for Video Monitoring |
482,699 |
4/1/97 |
12/31/99 |
|
Keshav |
NSF |
Workstation Telephony, Reducing PBX |
1,226,155 |
10/1/96 |
9/30/99 |
|
Keshav/ Birman |
Intel |
Network Performance Management |
80,000 |
6/1/98 |
6/30/00 |
|
Kleinberg |
NSF |
(CAREER) Algorithmic Methods for Networks |
200,000 |
4/1/97 |
3/31/01 |
|
Kleinberg |
ONR |
Algorithms/Networks and Links |
305,000 |
5/1/99 |
4/30/02 |
|
Kleinberg |
Sloan |
Sloan Research Fellowship |
35,000 |
9/16/97 |
9/15/99 |
|
Kleinberg |
Packard |
Algorithmic Methods for Networks |
625,000 |
10/13/99 |
10/12/04 |
|
Kozen |
DARPA/NSF |
Formal Methods for Software Certification |
291,000 |
8/15/97 |
7/31/00 |
|
Investigator |
Sponsor
|
Title
|
Award
|
Period of Award
|
|
|
Krafft |
DARPA/CNRI |
Network CS Technical Report Library: A Community Resource & Laboratory |
900,000 |
8/1/96 |
12/31/99 |
|
Lagoze/Arms |
CNRI |
Digital Library Testbed Program |
915,000 |
9/1/98 |
8/31/01 |
|
Lagoze |
NSF |
Security and Reliability in Component-based Digital Libraries |
2,268,608 |
5/1/99 |
4/30/03 |
|
Lagoze |
NSF |
Metadata for Resource Discovery of Multimedia Digital Objects Harmony |
240,000 |
10/1/99 |
9/30/02 |
|
Lagoze |
NSF |
Integrating and Navigating Eprint Archives through Citation-linking |
291,650 |
10/1/99 |
9/30/02 |
|
Morrisett |
Sloan |
Sloan Research Fellowship |
35,000 |
9/16/98 |
9/15/02 |
|
Morrisett |
NSF |
Safe Low Level Program Languages |
205,000 |
3/1/99 |
2/28/03 |
|
Myers |
AFRL |
JAGUAR: Extending the Predator
Database System with Java |
200,000 |
9/30/98 |
8/31/00 |
|
Pingali |
NSF |
Workshop on Instruction Level Parallelism and Loop Parallelism |
23,465 |
3/1/99 |
7/31/99 |
|
Pingali |
NSF |
Extension and Compile Techniques for High Performance Computing |
190,993 |
1/1/99 |
12/31/01 |
|
Pingali |
NSF |
Automatic Blocking of Dense Matrix Codes for Memory Hierarchies |
368,688 |
8/15/97 |
8/31/00 |
|
Pingali |
NSF ITR |
Adaptive Software for Field-driven Simulations |
7,457,206 |
9/1/00 |
8/31/05 |
|
Rubinfeld |
ONR/ Stanford |
Semantic Consistency in Information Exchange |
450,000 |
4/30/97 |
4/29/02 |
|
Rubinfeld |
NSF |
(CAREER) Algorithms for Self-testing/correcting Programs and Learning |
200,000 |
5/1/96 |
4/30/00 |
|
Rubinfeld |
SLOAN |
Sloan Research Fellowship |
35,000 |
9/16/96 |
9/15/00 |
|
Schneider |
DARPA/ NASA |
Formal Support for High Assurance Systems |
632,751 |
4/1/94 |
3/31/00 |
|
Schneider/ Morrisett |
AFOSR |
Mobile Agents and System Principles |
697,485 |
12/15/96 |
12/14/99 |
|
Schneider/ Morrisett |
AFOSR |
Language-based Security for Extensible Systems |
844,408 |
3/1/00 |
11/30/02 |
|
Schneider |
DARPA/AF |
Survivability of Information Systems |
948,434 |
9/1/96 |
12/31/99 |
|
Schneider |
Intel |
Security Automation SFI |
120,000 |
6/1/98 |
6/30/00 |
|
Schneider/ Constable |
DARPA/AF |
AFRL/Cornell Information Assurance Institute |
2,050,000 |
3/15/00 |
2/28/01 |
|
Schneider/ Myers |
DARPA/AF |
Containment and Integrity for Mobile Code |
2,197,784 |
6/16/99 |
6/15/02 |
|
Selman |
NSF |
(CAREER) Compute Intensive Methods for AI |
300,000 |
8/1/98 |
7/31/02 |
|
Selman |
Sloan |
Sloan Research Fellowship |
35,000 |
9/16/99 |
9/15/01 |
|
Selman/ Gomes |
AFRL |
Principled Analysis & Synthesis of Agent Systems Using Tools from
Statistical Physics |
750,000 |
6/1/00 |
9/30/02 |
|
Selman/ Gomes |
DARPA/AF |
Controlling Computational Cost: Structure, Phase Transitions and Randomization |
1,621,041 |
4/27/00 |
8/26/03 |
|
Seshadri |
NSF |
(CAREER) Database Query Processing for Complex Data |
289,000 |
4/1/97 |
8/31/01 |
|
Tardos |
DARPA/ ONR |
Efficient Resource Management in High-speed Networks |
801,548 |
4/1/98 |
3/31/01 |
|
Tardos |
NSF |
Algorithmic Issues in Communication Networks |
249,559 |
7/1/97 |
6/30/01 |
|
Toueg |
NSF |
Applications of Failure Detection |
230,000 |
9/1/97 |
8/31/00 |
|
Vavasis |
NSF |
Applications of Weighted Least Squares |
117,562 |
7/1/97 |
6/30/00 |
|
Van Loan |
NSF |
New Applications and Algorithms that Involved the Kronecker Product |
247,874 |
9/1/99 |
8/31/02 |
|
Von Eicken |
NSF |
(CAREER) Developing Secure Systems for Network Appliances |
205,000 |
4/1/97 |
3/31/01 |
|
Von Eicken |
Intel |
U-Net Cluster: A Communication Architecture for High-performance PC Clusters |
61,000 |
12/1/96 |
open |
|
Zabih |
NSF |
Dynamic Contextual Recognition
of Moving Objects |
150,000 |
9/15/99 |
8/31/02 |
|
Zippel/ Constable |
DARPA/ ONR |
Active Models in Support of Collaborative
Design |
1,080,000 |
4/1/96 |
12/31/99 |
|
Investigator |
Sponsor |
Title
|
Award |
Period
of Award
|
|
|
Halpern |
NASA |
Decision-making in Autonomous
Systems |
682,066 |
9/1/01 |
8/31/03 |
|
Kleinberg/Lee/ Cardie/Selman |
NSF ITR |
The Construction and Analysis
of Information Networks |
450,000 |
9/1/00 |
8/31/03 |
|
Pingali |
NSF |
Model Based Simulation of 3D
Cohesive Crack Growth |
150,000 |
7/1/00 |
1/31/02 |
Investigator
|
Sponsor
|
Title |
Award |
Period
of Award
|
|
|
Birman/ Schneider/EE |
EPRI |
Minimizing Failures While Maintaining Efficiency of Complex Interactive
Networked Systems |
600,000 |
1/1/99 |
12/31/03 |
|
Coleman/ Theory Ctr |
NIH |
Parallel Processing Resource for Biomedical Scientists |
101,721 |
4/15/92 |
11/30/01 |
|
Coleman/ Applied Math |
NSF |
Efficient Algorithms for Large Scale Linear and Non-linear Finite Element
Computations with Applications to Thin Shell Structures |
28,000 |
8/15/97 |
7/31/00 |
|
Elber/ Shalloway Molecular
Biology |
NSF |
Multiscale Hierarchical Analysis of Protein Structure and Dynamics |
899,000 |
9/1/00 |
8/31/03 |
|
Elber/ Shalloway |
Burroughs |
A Multi-field Program in Computational Molecular Biology |
1,338,750 |
1/1/01 |
12/31/05 |
|
Halpern/EE |
NSF |
Predictive Sensor Assisted Wireless Multimedia Systems |
862,465 |
9/15/97 |
8/31/00 |
|
Department |
NSF |
Computational Aspects of Cognitive Science (Training Grant) |
562,500 |
9/1/95 |
8/31/00 |
|
Pingali/ Vavasis/CEE |
NSF |
Crack Propagation on Tera Flop Computers |
1,852,592 |
1/15/98 |
12/31/00 |
|
Pingali/TC |
NSF |
A Two-tier Computation and Visualization Facility for Multiscale Problems |
1,500,000 |
10/1/99 |
9/30/04 |
|
Selman/ Gomes/EE |
DARPA |
Self-configuring Wireless Transmission and Decentralized Data Processing
for Generic Sensor Networks |
150,000 |
7/1/00 |
6/30/03 |
Submitted Collaborative Research Proposals
|
Investigator |
Sponsor |
Title |
Award |
Period
of Award
|
|
|
Constable |
NSF |
Enhancing Proof Assistant Systems |
22,800 |
1/1/01 |
12/31/02 |
|
Pingali/TC |
NSF |
Adaptive Software for Field-driven Simulations |
5,000,000 |
9/1/00 |
8/31/05 |
Total
Expenditures for Fiscal Year 1999-2000: $9,191,066
Research Interests of Faculty and Senior Researchers
William
Arms: Digital libraries, electronic publishing
Graeme
Bailey: Mathematical modeling, applications to medicine
and biology, geometry,
parametrization
spaces and connectivity
Kenneth
P. Birman: Reliability and security in modern networked
environments
Claire
Cardie: Natural language processing, machine learning,
artificial intelligence
Paul
Chew: Computational geometry, computational biology
Thomas
F. Coleman: Numerical analysis, computational finance,
scientific computing
Robert
L. Constable: Type theory and automated reasoning
Alan
Demers: Database systems, database replication, and
algorithms
Ron
Elber: Computational molecular biology, genomics
Johannes
Gehrke: Database systems, data mining, mining and
monitoring evolving data
Carla
Gomes: Artificial intelligence, operations research,
planning and scheduling
Donald
P. Greenberg: Realistic image synthesis, modeling,
scientific visualization,
computer-aided
design, image processing
Joseph
Y. Halpern: Reasoning about knowledge and uncertainty in
multi-agent systems,
decision
theory, logic, artificial intelligence, security
Juris
Hartmanis: Computational complexity, complexity of
chaotic systems
John
E. Hopcroft: Robust geometric algorithms, modeling and
simulation, and information
capture
and access
Daniel
P. Huttenlocher: Computer vision
Klara
Kedem: Computational geometry
Jon
Kleinberg: Theory of computing, algorithms,
computational biology
Dean
Krafft: Digital libraries, information access
Christoph
Kreitz: Automated reasoning, program transformation,
verification and synthesis
Dexter
Kozen: Theory of computational, proof-carrying code,
computational complexity,
analysis
of algorithms, program logics and semantics
Carl
Lagoze: Digital libraries
Lillian
Lee: Natural language processing
Yuying Li:
Scientific computation, numerical optimization
J.
Gregory Morrisett: Programming languages, security, type
systems, and compilers
Andrew
Myers: Programming languages, compilers, distributed
systems, runtime systems Keshav
Pingali: Programming languages, parallel computing
Fred
Schneider: Concurrent and distributed systems, computer
and network security
David
Schwartz: Computational mechanics, applied mathematics,
and educational
technology
Bart
Selman: Artificial intelligence and experimental
computer science
Praveen
Seshadri: Database systems
David
B. Shmoys: Design and analysis of efficient algorithms,
scheduling
Eva
Tardos: Design and analysis of algorithms, optimization,
communication networks,
combinatorics
Tim
Teitelbaum: Programming languages, systems and
environments
Sam
Toueg: Distributed computing, fault tolerance, and
real-time
Charles
Van Loan: Numerical linear and multilinear algebra
Robbert
van Renesse: Distributed computing, fault-tolerance,
real-time systems
Stephen
A. Vavasis: Numerical analysis, optimization
Thorsten
von Eicken: High performance communication in clusters
of workstations
Ramin
Zabih: Computer vision, multimedia, information
technology
