Research Grants

Funded and Submitted Research Grants

Grants listed alphabetically by principle investigator's name.
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


Birman
DARPA/ONR
A Redesigned Isis and Meta System Under Mach
3,137,518
9/30/92 - 6/30/96

Birman
DARPA/ONR
Secure Realtime Process Groups in Horus: A Communications Infrastructure for Remote Collaboration
2,620,284
6/1/96 - 5/31/99

Birman
GTE
Graduate Research in Distributed Control and Real Time Systems
115,000
1/1/90 - 12/31/96

Birman
SIEMENS
Cooperation in the Field of Consistency in UPN Systems
120,000
6/1/93 - 5/31/96

Birman/Constable
DARPA / AF
Construction Methodologies for Improving Distributed System Security
1,600,000
8/15/95 - 9/30/98

Bloom
NSF
Operational and Equational Semantics of Process Algebras
255,112
9/15/93 - 8/31/96

Cardie
NSF
(CAREER) Knowledge Acquisition for Natural Language Understanding
200,000
5/1/96 - 4/30/00

Coleman
DOE
Efficient Algorithms for Large-Scale Constrained Optimization with Application to Inverse
1,112,288
5/1/86 - 9/14/96

Constable
NSF
Computation in Refinement Logos for Type Theory
296,036
10/1/91 - 3/31/96

Constable
NSF
A Set Theory for Functional Programming Languages
159,175
9/15/92 - 8/31/96

Constable
ONR
Steps Toward a Unified Theory of Algorithms, Propositions & Types
590,000
6/1/92 - 9/30/97

Constable
NSF
Exploring New Constructs in Computational Type Theory
229,500
9/1/95 - 8/31/98

Constable
NSF
Creating and Evaluating Interactive Formal Courseware for Mathematics
130,000
1/15/96 - 12/31/97

Department
NSF
A Distributed Computing Facility
1,762,400
7/1/91 - 6/30/97

Department
NSF
Revitalizing the Computer Science Curriculum
200,000
9/1/92 - 8/31/96

Department
NSF
Development of a Teaching Laboratory for an Introductory Programming Course
75,007
5/15/94 - 4/30/96

Donald/MacDonald
NSF
Distributed Manipulation Algorithms for Massively Parallel Microfabricated Actuator Arrays
360,000
6/1/96 - 5/31/99

Donald
NSF
Task-Level Planning and Sensing for Robots in Uncertain Environments
233,000
4/15/93 - 3/31/97

Donald
NSF
A Computational Approach to the Design of Dynamic Microelectromechanical Structures
50,000
8/15/94 - 7/31/96

Gries
DARPA/ONR
A New Programming Language and Its Environment
970,000
8/1/91 - 12/31/95

Gries/Teitelbaum
NSF
Software Engineering with a Transformational System
270,000
9/1/95 - 8/31/98

Hartmanis
NSF
Structural Computational Complexity
536,520
7/1/92 - 6/30/96

Henzinger
NSF
Reasoning About Real-Time Systems
260,083
8/15/92 - 7/31/96

Henzinger
ONR
Young Investigator Award
235,407
6/1/95 - 5/31/98

Henzinger
DARPA/Stanford
Software Development Technologies for Reactive, Real-Time, and Hybrid Systems
379,479
10/1/93 - 9/30/98

Henzinger
AFOSR
Automatic Methods and Tools for the Verification of Real-Time Systems
441,366
12/1/92 - 11/30/95

Henzinger
NSF
(CAREER) Computer-Aided Verification
133,332
6/1/95 - 5/31/98

Hopcroft/Zippel
DARPA/ONR
Automatic Generation of Engineering Analysis
3,381,309
7/15/92 - 6/30/96

Hopcroft
ONR
Computer Design and Simulation to Improve Manufacturing Productivity (AASERT)
184,442
8/15/92 - 8/14/96

Huttenlocher
NSF
Presidential Young Investigator Award
332,500
7/1/90 - 1/31/97

Huttenlocher
DARPA/Hughes
Performance Evaluation of Adaptive Target Recognition
277,000
9/20/93 - 9/19/96

Huttenlocher
DARPA/Alpha-Tech
MSTAR Research: Performance Estimation Theory
250,000
6/15/95 - 4/30/98

Kozen
NSF
Topics in the Theory of Computation
258,995
8/15/94 - 7/31/97

Krafft
CNRI/DARPA
Electronic Technical Report Library Project
1,358,751
2/1/93 - 6/30/96

Pingali
NSF
Principles and Applications of Restructuring Compiler Technology
240,000
6/1/95 - 5/30/98

Pingali
ONR
A System for Programming Massively Parallel Processors
413,250
12/1/92 - 11/30/95

Rauch-Henzinger
NSF
CAREER: Design and Analysis of Efficient Graph Algorithms
112,326
4/1/95 - 3/31/98

Rubinfeld
ONR
Young Investigator Award
225,000
3/15/93 - 9/30/96

Rubinfeld
ONR
The Theory and Implementation of Self-correcting, Self-testing and Checking Programs (AASERT)
139,575
5/1/95 - 4/30/98

Rubinfeld
NSF
(CAREER) Algorithms for Self-testing/correcting Programs and Learning
200,000
5/1/96 - 4/30/00

Sloan
Sloan Research Fellowship
35,000
9/16/96 - 9/15/98

Salton / Buckley
NSF
File Structuring and Information Retrieval for Large Full Text Libraries
208,816
8/1/93 - 7/31/96

Salton / Buckley
Maryland Proc
Envision: Text Retrieval and Processing Technology Research and Development
745,997
3/14/94 - 3/13/97

Schneider
AFOSR
Fault-tolerant / Real-time Distributed Computing
395,005
5/1/94 - 9/30/96

Schneider
DARPA/NSF
Research on Fault-tolerant and Real-time Computing
187,143
10/1/90 - 5/31/96

Schneider
DARPA/NASA
Formal Support for High Assurance Systems
632,751
4/1/94 - 6/30/97

DARPA
Platform Technologies for Advanced Remote Collaboration
1,572,987
6/1/95 - 7/31/98

Tardos
NSF
Presidential Young Investigator Award
312,500
8/1/91 - 7/31/97

Tardos
Packard Foundation
Packard Fellowship for Science & Engineering Research
500,000
10/31/90 - 9/30/96

Teitelbaum
ONR
Incremental Computation
570,000
8/1/92 - 6/30/98

Toueg
NSF
Unreliable Failure Detectors for Reliable Distributed Systems
230,000
5/1/95 - 4/30/98

Trefethen
NSF
Algorithms and Analysis for Non-Normal Matrices and Operators
258,719
3/1/92 - 2/28/96

Trefethen
DOE
Linear, Non-Modal Phenomena in Numerical Analysis and Applied Mathematics
222,750
2/15/94 - 2/14/97

Trefethen
NSF
Non-Normal Matrices and Operators: Analysis, Computations, Applications
276,500
8/1/95 - 7/31/98

Vavasis
NSF
Presidential Young Investigator Award
312,500
8/1/90 - 7/31/96

Vavasis
Argonne
Geometry in Scientific Computing Optimization
30,800
6/1/96 - 1/1/97

Von Eicken
Sloan
Sloan Research Fellowship
30,000
9/16/95 - 9/15/97

Von Eicken
IBM
Global Address Space for IBM SP2
54,000
3/1/95 - 3/31/96

Von Eicken/Birman
RADC
ATM (NYNET) Tools for Parallel and Distributed Computing
9/1/94 - 8/31/96

Zabih/Hutten-locher/Smith
NSF
CISE Research Instrumentation
88,018
5/1/95 - 4/30/97

Zippel / Constable
DARPA/ONR
Active Models in Support of Collaborative Design
1,100,000
4/1/96 - 3/31/99

Submitted Grant Proposals

Submitted Grant Proposals Listed by Principal Investigator's Name
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Birman
BBN
Metacomputer Across WANs
138,031
7/1/96 - 6/30/99

Cardie
DARPA/ORA
Intelligent Processing of Forms, Regulations and Inventory for Government Procurement
402,611
10/1/95 - 9/30/98

Cardie / Buckley
DARPA
Improving End-User Efficiency in a TIPSTER-Compliant IR System
926,945
10/1/96 - 9/30/99

DRI - Morgenstern
Xerox
Active Meta-Data Dictionary to Support Heterogeneous DBs Utilizing the POB Framework
327,044
7/12/95 - 1/12/98

Halpern
NSF
A Qualitative Framework for Reasoning Under Uncertainty
348,000
9/1/96 - 8/30/00

Halpern
AFOSR
Updating Beliefs in Incompletely Specified Situations
137,286
9/1/96 - 12/31/97

Hartmanis
NSF
Computational Unpredictability
50,000
7/1/96 - 6/30/97

Pingali
ONR
A System for Programming Massively Parallel Processors
400,000
10/1/95 - 9/30/97

Rubinfeld
ONR
Theory and Implementation of Self-Correcting, Self-Testing and Checking Programs
492,191
4/1/96 - 3/31/99

Schneider / Morrisett
AFOSR
Mobile Agents and System Principles
697,485
10/1/96 - 9/30/99

Schneider
DARPA
Survivability of Information Systems
1,038,680
1/1/98 - 12/31/00

Collaborative Research at Cornell

Research Listed by Principal Investigator's Name
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Coleman/ACRI
NYS
Science and Technology
582,500
5/1/94 - 4/30/96

Coleman/ACRI
DHHS
Parallel Processing Resource for Biomedical Scientists
850,000
4/15/91 - 11/30/96

Coleman/ACRI
NSF
Cooperative Agreement
408,000
9/15/91 - 9/30/96

Coleman/ACRI
NIH
Parallel Processing Resource for Biomedical Scientists
79,600
12/1/95 - 11/30/96

Department
NSF
Computational Aspects of Cognitive Science
562,500
9/1/95 - 8/31/00

DRI-Morgenstern
DARPA/Xerox
Database Integration for Concurrent Engineering
223,100
10/1/92 - 9/30/96

Tardos
ONR
Computational and Mathematical Investigation in Optimization
345,994
10/1/95 - 9/30/98

Tardos
NSF
Mathematical Sciences: Computational and Mathematical Investigation
492,000
8/1/95 - 7/31/98

Trefethen/EE
NSF
A Program for Underrepresented Scholars in Engineering
250,000
9/15/91 - 9/14/97

Various Faculty
ARO
Mathematical Sciences Institute
150,000
6/1/91 - 5/31/96

TOTAL EXPENDITURES FOR FISCAL YEAR 1995-1996: $ 6,150,500

Go to:
Administrative and Technical Staff

Return to:
1995-1996 Annual Report Home Page
Departmental Home Page

If you have questions or comments please contact: www@cs.cornell.edu.

---