Funded Research Grants
| Investigator | Sponsor | Title | Award | Period of Award | |
| Birman | BBN | Metacomputer Across WANs | 138,031 |
8/28/96 |
8/28/99 |
| Birman | DARPA/ ONR | Secure Realtime Process Groups in Horus: A Communi-cations Infrastructure for Remote Collaboration | 2,620,284 |
6/15/96 |
6/14/99 |
| Cardie | NSF | (CAREER) Knowledge Acquisition for Natural Language Understanding | 200,000 |
4/1/96 |
3/31/00 |
| Cardie/ Buckley | DARPA/ TIPSTER Text Prog. | Improving End-User Efficiency in a TIPSTER-Compliant IR System | 12/1/96 |
11/30/99 |
|
| Coleman | DOE | Efficient Algorithms for Large-Scale Constrained Optimization with Application to Inverse Problems | 1,287,288 |
5/1/86 |
9/14/00 |
| Constable/Birman | DARPA/AF | Construction Methodologies for Improving Distributed System Security | 3,348,555 |
8/15/95 |
11/30/99 |
| Constable | ONR | Steps Toward A Unified Theory of Algorithms, Propositions & Types | 590,000 |
6/1/92 |
11/30/98 |
| 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 and Computing | 130,000 |
1/15/96 |
12/31/98 |
| Constable | DARPA/AF | An Open Logical Programming Environment: A Practical Framework for Sharing Formal Models | 1,250,000 |
6/2/98 |
6/1/00 |
| Department | NSF | A Distributed Computing Facility | 1,762,400 |
7/1/91 |
12/31/97 |
| 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 | 62,325 |
1/1/99 |
4/30/00 |
| DRI - Morgenstern | Xerox | Active Meta-Data Dictionary to Support Heterogeneous Databases Utilizing the POB Framework | 327,044 |
7/12/95 |
10/31/98 |
| Gomes/Selman | AF | Integration of AI/OR Techniques | 203,677 |
3/1/98 |
2/28/99 |
| Gries/Teitelbaum | NSF | Software Engineering with a Transformational System | 277,279 |
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/ Zabih | DARPA/ARO | Robust, Online Event Detection and Classification for Video Monitoring | 1,180,699 |
4/1/97 |
3/31/02 |
| Huttenlocher | DARPA/ALPHATECH | MSTAR Research: Performance Estimation Theory | 250,000 |
6/15/95 |
5/31/98 |
| Keshav | Sloan | Sloan Research Fellowship | 35,000 |
9/16/97 |
8/15/99 |
| Keshav | Intel | Network Performance Management | 80,000 |
6/1/98 |
6/30/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 | DARPA/NSF | Formal Methods for Software Certification | 291,000 |
8/15/97 |
7/31/00 |
| Kozen | NSF | Topics in the Theory of Computation | 258,995 |
8/15/94 |
7/31/98 |
| Krafft | DARPA/ CNRI | Network CS Technical Report Library: A Community Resource & Laboratory | 900,000 |
8/1/96 |
7/31/99 |
| Krafft | DARPA/ Stanford | Stanford/Cornell Collaboration on Distributed Document Storage and Search | 468,240 |
9/1/96 |
8/31/99 |
| Morrisett | Sloan | Sloan Research Fellowship | 35,000 |
9/16/98 |
9/15/00 |
| Pingali | NSF | Principles and Applications of Restructuring Compiler Technology | 240,000 |
6/1/95 |
5/30/98 |
| Pingali | NSF | Automatic Blocking of Dense Matrix Codes for Memory Hierarchies | 368,689 |
8/15/97 |
8/31/00 |
| Rubinfeld | ONR/Stanford | Semantic Consistency in Information Exchange | 450,000 |
4/30/97 |
4/29/02 |
| Rubinfeld | ONR | The Theory and Implementation of Self-correcting, Self- testing and Checking Programs (AASERT) | 139,575 |
5/1/95 |
4/30/99 |
| 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/99 |
| Schneider | DARPA/NASA | Formal Support for High Assurance Systems | 632,751 |
4/1/94 |
3/31/99 |
| Schneider/ Morrisett | AFOSR | Mobile Agents and System Principles | 697,485 |
12/15/96 |
12/14/99 |
| Schneider | DARPA/AF | Survivability of Information Systems | 1,038,680 |
9/1/96 |
8/31/99 |
| Schneider | Intel | Security Automation SFI | 40,000 |
6/1/98 |
6/30/99 |
| Selman | NSF | (CAREER) Compute Intensive Methods for AI | 300,000 |
6/1/98 |
5/31/02 |
| Seshadri | NSF | Jaguar: JAVA in Next-Generation Database Systems | 370,000 |
9/1/98 |
8/31/01 |
| 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/von Eicken | DARPA/ONR | Platform Technologies for Advanced Remote Collaboration | 2,022,987 |
6/1/95 |
6/30/99 |
| 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/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 |
| Toueg | NSF | Applications of Failure Detection | 230,000 |
9/1/97 |
8/31/00 |
| Trefethen | NSF | Non-Normal Matrices and Operators: Analysis, Computations, Applications | 276,500 |
8/1/95 |
7/31/98 |
| 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/98 |
| 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 |
| Zippel/ Constable | DARPA/ONR | Active Models in Support of Collaborative Design | 1,100,000 |
4/1/96 |
3/31/99 |