| Funded and Submitted Research Grants | |
Sponsor |
Title |
Award |
Period of Award |
 |
||
| Birman | DARPA/ONR | Secure Realtime Process Groups in Horus: A Communications Infrastructure for Remote Collaboration | 2,620,284 |
6/15/96 |
6/14/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/97 |
|
| Birman/Constable | DARPA/AF | Construction Methodologies for Improving Distributed System Security | 2,050,000 |
8/15/95 |
9/30/98 |
|
| Cardie | NSF | (CAREER) Knowledge Acquisition for Natural Language Understanding | 200,000 |
4/1/96 |
3/31/00 |
|
| Cardie | DARPA
/ TIPSTER Text Program |
Improving End-User Efficiency in a TIPSTER-Compliant IR System | 12/1/96 |
11/30/98 |
||
| Coleman | DOE | Efficient Algorithms for Large-Scale Optimization with Applications to Inverse Problems | 1,112,288 |
5/1/86 |
9/14/97 |
|
| 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 |
12/31/97 |
|
| Department | NSF | Revitalizing the Computer Science Curriculum | 200,000 |
9/1/92 |
8/31/97 |
|
| Department | NSF | A Next Generation Computing and Communications Substrate | 1,271,298 |
7/1/97 |
6/30/02 |
|
| Donald | NSF | Task-Level Planning and Sensing for Robots in Uncertain Environments | 233,000 |
4/15/93 |
3/31/97 |
|
| DRI - Morgenstern |
NSF | Active Meta-Data Dictionary to Support Heterogeneous Databases Utilizing the POB Framework | 327,044 |
7/12/95 |
1/12/98 |
|
| Gries/Teitelbaum | NSF | Software Engineering with a Transformational System | 270,000 |
9/1/95 |
8/31/98 |
|
| Halpern | NSF | A Qualitative Framework for Reasoning Under Uncertainty | 348,000 |
9/1/96 |
8/30/99 |
|
| Halpern | AFOSR | Updating Beliefs in Incompletely Specified Situations | 137,286 |
9/1/96 |
12/31/97 |
|
| 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 |
|
| Keshav | Sloan | Sloan Research Fellowship | 35,000 |
9/16/97 |
8/15/99 |
|
| Kleinberg | NSF | (CAREER) Algorithmic Methods for Networks | 200,000 |
4/1/97 |
3/31/01 |
|
| Kleinberg | Sloan | Sloan Research Fellowship | 35,000 |
9/16/97 |
8/15/99 |
|
| Kozen | NSF | Topics in the Theory of Computation | 258,995 |
8/15/94 |
7/31/97 |
|
| Kozen | NSF | Structural Computational Complexity | 536,520 |
7/1/92 |
6/30/97 |
|
| Krafft | CNRI/DARPA | Electronic Technical Report Library Project | 1,358,751 |
2/1/93 |
6/30/96 |
|
| Krafft | DARPA/Stanford | Stanford/Cornell Collaboration on Distributed Document Storage and Search | 468,240 |
9/1/96 |
8/31/99 |
|
| Pingali | NSF | Principles and Applications of Restructuring Compiler Technology | 240,000 |
6/1/95 |
5/30/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 |
|
| Rubinfeld | 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/97 |
|
| Salton/Buckley | Maryland Proc | Envision: Text Retrieval and Processing Technology Research and Development | 484,891 |
3/14/94 |
3/13/97 |
|
| Schneider/Morrisett | AFOSR | Mobile Agents and System Principles | 697,485 |
12/15/96 |
12/14/99 |
|
| Schneider | DARPA/NSF | Research on Fault-tolerant and Real-time Computing | 187,143 |
10/1/90 |
5/31/96 |
|
| Schneider | DARPA/AF | Survivability of Information Systems | 1,038,680 |
9/1/96 |
8/31/99 |
|
| Seshadri | NSF | (CAREER) Database Query Processing for Complex Data | 395,800 |
4/1/97 |
3/31/01 |
|
| Smith | Sloan | Sloan Research Fellowship | 35,000 |
9/16/97 |
8/15/99 |
|
| Smith/VonEicken/Birman | 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 |
|
| Tardos | NSF | Algorithmic Issues in Communication Networks | 249,559 |
7/1/97 |
6/30/00 |
|
| 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 | 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 | 297,306 |
8/1/90 |
7/31/97 |
|
| Vavasis | Argonne | Geometry in Scientific Computing Optimization | 30,800 |
6/1/96 |
1/1/97 |
|
| Vavasis | NSF | Applications of Weighted Least Squares | 117,562 |
7/1/97 |
6/30/99 |
|
| Von Eicken | Sloan | Sloan Research Fellowship | 30,000 |
9/16/95 |
9/15/97 |
|
| Von Eicken | NSF | (CAREER) Developing Secure Systems for Network Applicances | 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/Huttenlocher/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 |
|
Investigator |
Sponsor |
Title |
Award |
Period of Award |
|
|
| Constable | NSF | Using Web Access to Formal Mathematics to Support Instruction in Computational Discrete Mathematics | 136,877 |
1/1/98 |
12/31/99 |
|
| Huttenlocher/Zabih | DARPA | Robust, Online Event Detection and Classification for Video Monitoring | 1,198,093 |
1/1/97 |
12/31/01 |
|
| Kozen | NSF | Formal Methods for Software Certification | 291,000 |
8/1/97 |
7/31/00 |
|
| Pingali | NSF | Automatic Parallelization of Sparse Matrix Codes | 545,321 |
9/1/97 |
8/31/00 |
|
| Pingali | NSF | Crack Propagation on Teraflop Computers | 2,210,814 |
9/1/97 |
8/31/00 |
|
| Pingali | NSF | Automatic Blocking of Dense Matrix Codes for Memory Hierarchies | 427,015 |
9/1/97 |
8/31/00 |
|
| Rubinfeld | ONR/Stanford | Symantic Consistency in Information Exchange | 450,000 |
4/30/97 |
4/29/02 |
|
| Seshadri/Zabih/Smith | NSF | Query Processing Techniques for Multi-Media Database Systems | 446,879 |
9/1/97 |
8/31/00 |
|
| Toueg | NSF | Applications of Failure Detection | 299,452 |
1/15/98 |
1/14/01 |
|
Collaborative Research at Cornell
Investigator |
Sponsor |
Title |
Award |
Period of Award |
|
|
| Coleman/ACRI | NYS | Science and Technology | 2,719 |
5/1/96 |
4/30/97 |
|
| Coleman/ACRI | NSF | Cooperative Agreement | 400,000 |
10/1/96 |
9/30/97 |
|
| Coleman/ACRI | NIH | Parallel Processing Resource for Biomedical Scientists | 101,097 |
12/1/96 |
11/30/97 |
|
| Department | NSF | Computational Aspects of Cognitive Science | 562,500 |
9/1/95 |
8/31/00 |
|
| Donald/ MacDonald |
NSF | Distributed Manipulation Algorithms for Massively Parallel Microfabricated Actuator Arrays | 360,000 |
6/1/96 |
5/31/99 |
|
| Various Faculty | ARO | Mathematical Sciences Institute | 150,000 |
6/1/91 |
12/31/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/98 |
|
TOTAL EXPENDITURES FOR FISCAL YEAR 1996-1997: $ 6,721,837
|
|
|
| This site was last modified on 10/10/05. | ||
