Funded Research
| 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 Communications Infrastructure for Remote Collaboration |
2,620,284 |
6/15/96 |
6/14/99 |
| Birman/Constable |
DARPA |
Spinglass
Adaptive Probabilistic Tools for advances Networks |
3,839,383 |
7/1/99 |
6/31/02 |
| Cardie |
NSF |
(CAREER) Knowledge Acquisition
for Natural Language Understanding |
200,000 |
4/1/96 |
3/31/00 |
| Cardie |
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 |
DARPA AF |
An Open Logical
Programming Environment: A Practical Framework for sharing
Formal Models |
1,250,000 |
6/2/98 |
6/1/00 |
| Constable |
NSF |
Unified Theory
of Algorithms |
590,000 |
6/1/92 |
9/30/98 |
| Constable |
NSF |
Creating and Evaluating
Interactive Formal Courseware for Mathematics and Computing |
130,000 |
1/15/96 |
12/31/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 |
62,325 |
1/1/99 |
4/30/00 |
| Gomes/Selman |
AF |
Integration of AI/OR Techniques |
203,677 |
3/1/98 |
2/28/99 |
| Gomes/Selman |
AF |
Computer-Intensive
Methods for Combinatorial Problems |
395,817 |
3/1/99 |
2/28/00 |
| Gomes |
AF |
A Platform for
the Experimental study of Computer-Intensive Combinatorial Methods in
Planning |
158,076 |
3/15/99 |
3/14/99 |
| Gomes |
AF |
Hybrid
Approaches for Combinatorial Problems |
304,835 |
3/1/99 |
2/28/99 |
| Halpern |
NSF |
A Qualitative Framework for
Reasoning Under Uncertainty |
348,000 |
9/1/96 |
8/30/99 |
| Huttenlocher/ Zabih |
DARPA/ARO |
Robust, Online Event Detection
and Classification for Video Monitoring |
1,180,699 |
4/1/97 |
3/31/02 |
| 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 |
| Kleinberg |
ONR |
YIP:
Algorithms for Networks and Link-Structured Data |
305,000 |
5/1/99 |
4/30/02 |
| Kozen |
DARPA/NSF |
Formal Methods for Software
Certification |
291,000 |
8/15/97 |
7/31/00 |
| 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 |
| Lagoze/Arms |
CNRI |
Digital Library
Testbed Program |
915,000 |
4/1/98 |
3/31/01 |
| Morrisett |
Sloan |
Sloan Research Fellowship |
35,000 |
9/16/98 |
9/15/00 |
| Morrisett |
NSF |
Safe Low-Level
Program Languages |
205,000 |
3/1/99 |
2/28/03 |
| 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 |
| Schneider/Myers |
DARPA |
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 |
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 |
| Seshadri |
AF |
JAGUAR:
Extending the Predator Database System with Java |
200,000 |
9/30/98 |
3/31/00 |
| 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 |
| 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 |
| Van Loan |
NSF |
New
Applications and Algorithms that Involve the Kronecker Product |
247,874 |
8/1/99 |
7/31/02 |
| 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 |
| Zabih |
NSF |
Dynamic
Contextual Recognition of Moving Objects |
150,000 |
9/1/99 |
8/31/02 |
| Zippel/ Constable |
DARPA/ONR |
Active Models in Support of
Collaborative Design |
1,100,000 |
4/1/96 |
3/31/99 |
|
