| Research Grants |
| Investigator |
Sponsor |
Award |
Title |
| Birman |
AFOSR |
427,608 |
A Testbed for Highly-scalable Mission-critical Information Systems
(DURIP) |
| Birman |
DARPA/AFRL |
395,000 |
Scalable Data Redundancy for Network-centric Military Applications |
| Birman/Constable |
DARPA/AFRL |
3,839,383 |
Spinglass Adaptive Probabilistic Tools for Advanced Networks |
| Birman/Gehrke/Demers |
AFOSR |
4,000,000 |
Scalable Technology for a New Generation of Collaboration Applications |
| Birman/Gehrke/Francis |
DARPA/AFRL |
1,098,321 |
QuickSilver: Middleware for Scalable Self-regenerative Systems |
| Cardie |
MITRE Corp. |
61,743 |
ARDA NRRC Workshop |
| Cardie |
NSF |
500,000 |
Reducing the Corpus Annotation Bottleneck for Natural Language
Learning |
| Cardie |
ARDA sub of U Pittsburgh |
463,368 |
Opinions in Question Answering |
| Caruana |
NSF |
507,000 |
CAREER: Meta Clustering: Improving User Efficiency on Real-world
Clustering Applications |
| Caruana/Joachims |
NSF |
270,000 |
Optimizing Classification Models to Application-specific Performance
Metrics |
| Constable |
NSF |
283,975 |
Educational Innovation: Creating and Evaluating Formal Courseware for
Mathematics and Computing |
| Constable |
NSF |
20,800 |
U.S.–Germany Cooperative Research: Enhancing Proof Assistant Systems |
| Constable |
NSF |
460,000 |
Enabling Large-scale Coherency Among Mathematical Texts in the NSDL |
| Constable |
ONR |
1,938,148 |
Building Interactive Digital Libraries of Formal Algorithmic Knowledge |
| Constable |
NSF |
300,000 |
Innovative Programming Technology for Embedded Systems |
| Constable |
AF sub of ATC–NY |
29,000 |
SCorES, A Logical Programming Environment for Distributed Systems |
| Constable |
Boeing
(McDonnell–Douglas) |
161,857 |
Model-driven Generation of Verifiable Distributed Real-time Embedded
Systems |
| Department |
NSF |
1,331,298 |
CISE Research Infrastructure: A Next-generation Computing and
Communications Substrate |
| Elber |
NSF |
465,742 |
Kinetics of Ion Channels by Atomically Detailed Computer Simulations |
| Elber |
NIH |
943,467 |
Long Time Dynamics of Biomolecules |
| Elber |
NIH |
1,113,170 |
Long Time Dynamics of Biomolecules |
| Elber |
ACS–PRF |
80,000 |
Molecular Dynamic Simulations of EPR Spectra in Proteins |
| Elber |
BTR |
40,000 |
Library of Life |
| Francis |
NSF |
496,421 |
SP: Very Fine-grained Proximity Addressing |
| Gehrke |
NSF |
235,000 |
Interactive and Online Data Mining |
| Gehrke |
NSF |
210,000 |
Scalable Decision Tree Construction |
| Gehrke |
NSF |
340,000 |
CAREER: Towards Sensor Database Systems |
| Gehrke |
NSF |
500,000 |
SENSORS: Data-driven Sensor Networks |
| Gehrke |
Sloan |
40,000 |
Sloan Research Fellowship |
| Gehrke/Demers |
KD–D thru NSF |
1,193,000 |
Distributed Mining and Monitoring |
Gehrke/Sirer/
Shanmugasundaram/
Demers/Birman |
NSF |
907,320 |
ITR: Massively Convergent Distributed Computing |
| Ginsparg |
NSF |
958,798 |
E-Print Archive |
| Gomes |
AFRL |
3,100,000 |
Intelligent Information Systems Institute |
| Gomes |
AFRL |
5,000,000 |
Intelligent Information Systems Institute |
| Halpern |
ONR |
526,058 |
Software Quality and Infrastructure Protection for Diffuse Computing |
| Halpern |
AFOSR |
322,788 |
Formulating and Reasoning About Security Policies |
| Halpern |
ONR |
354,763 |
A Logical Foundation for Reasoning About Security |
| Halpern |
NSF |
300,000 |
Towards Improved Logics For Reasoning About Security |
| Hopcroft/Selman |
NSF |
300,000 |
ITR: Emerging Communities in Large Linked Networks: Theory Meets
Practice |
| Joachims |
NSF |
400,000 |
CAREER: Improving Information Access by Learning from User
Interactions |
| Kleinberg |
Packard |
625,000 |
Algorithmic Methods for Networks |
| Kleinberg/Lee/Cardie/Selman |
NSF |
450,000 |
ITR: Construction and Analysis of Information Networks |
| Funded Research Grants |
| Investigator |
Sponsor |
Award |
Title |
| Kozen |
NSF |
210,000 |
Kleene Algebra |
| Kreitz |
NSF |
285,000 |
Proof Automation in Constructive Type Theory |
| Lagoze |
NSF |
255,700 |
Metadata for Resource Discovery of Multimedia Digital Objects Harmony |
| Lagoze |
U Virginia/Mellon Found |
495,325 |
The Open Source FEDORA Repository Development Project |
| Lee/Kleinberg |
NSF |
449,897 |
Graph-based Approaches to Text Processing |
| Lee |
Sloan |
40,000 |
Sloan Research Fellowship |
| Marschner |
NSF |
400,000 |
CAREER: Modeling the Properties and Appearance of Materials |
| Morrisett |
NSF |
205,000 |
CAREER: Design, Applications, and Foundations of Safe Low-level
Program Languages |
| Morrisett |
AFOSR/PECASE |
1,000,000 |
Next-generation Systems Languages |
| Myers |
NSF |
349,999 |
CAREER: Practical Language-based End-to-end Security |
| Myers |
Sloan |
40,000 |
Sloan Research Fellowship |
| Myers |
NSF |
330,000 |
End-to-end Integrity and Confidentiality for Distributed Systems |
| Pingali |
DARPA sub of IBM |
255,000 |
PERCS: Phase II |
| Pingali/Stodghill |
NSF |
548,314 |
Synthesis of Block-recursive Codes for Deep Memory Hierarchies |
| Pingali |
NSF |
236,826 |
A Framework for Developing Complex Applications on High-end Petaflopclass
Machines |
| Pingali |
NSF |
590,000 |
ITR/SY: A New Framework for Program Optimization |
| Pingali/Rugina |
NSF |
850,000 |
A System for Semi-automatic Application-level Checkpointing of Parallel
Programs |
| Schneider |
AFOSR |
592,657 |
CIPIAF for Information Assurance Institute |
| Schneider |
AFOSR |
4,138,325 |
AFRL/Cornell Information Assurance Institute |
| Schneider |
Microsoft |
300,000 |
Information Assurance Institute |
| Schneider |
Sun |
20,000 |
Language-based Security for Malicious Mobile Code |
| Schneider |
Intel |
36,500 |
Language-based Security |
| Schneider/Myers |
DARPA/AF |
2,709,784 |
Containment and Integrity for Mobile Code |
| Schneider/Morrisett |
AFOSR |
844,408 |
Language-based Security for Extensible Systems |
| Schneider/Morrisett |
AFOSR |
471,107 |
Trust in Security-policy Enforcement Mechanisms |
| Schneider/Morrisett/Kozen/Myers |
ONR |
4,247,977 |
Language-based Security for Malicious Mobile Code |
| Schwartz |
Microsoft |
25,000 |
Game Project |
| Selman |
Sloan |
35,000 |
Sloan Research Fellowship |
| Selman/Gomes |
DARPA/AF |
1,426,881 |
Controlling Computational Cost: Structure, Phase Transitions and
Randomization |
| Sengers |
NSF |
500,000 |
CAREER: Using Cultural Theory to Design Everyday Computing |
| Shanmugasundaram |
NSF |
406,750 |
CAREER: Towards Unifying Database Systems and Information Retrieval
Systems |
| Shanmugasundaram |
IBM |
40,000 |
2003 Faculty Award |
| Shanmugasundaram/Gehrke |
AFRL |
41,000 |
ORIS: Peer-to-peer Object Repository with Integrated Security |
| Sirer |
Microsoft |
75,000 |
The Ad Hoc Classroom: Integrating Emerging Wireless Communications
and Networking Technologies into Mainstream Computer Science and
Electrical Engineering Curricula |
| Tardos |
NSF |
150,000 |
Approximation Algorithms and Applications in Network Games |
| Tardos |
ONR |
1,176,548 |
Algorithmic Issues in Network Design and in Information Access |
| Tardos/Zabih |
NSF |
300,000 |
ITR/SY: Combinatorial Optimization Algorithms for Information Access |
| Van Loan |
NSF |
247,874 |
New Applications and Algorithms That Involve the Kronecker Product |
| Vogels |
Microsoft |
35,000 |
High-performance XML/SOAP Processing for Pub/Sub Engines |
| Vogels |
Microsoft |
20,000 |
CollabNet |
Vogels/Gehrke/
Shanmugasundaram |
Microsoft |
175,000 |
Distributed Systems Support for the Global Real Time Enterprise |
| Yona |
NSF |
1,103,917 |
CAREER: Global Self-organization of All Known Proteins—Toward a
Complete Map of the Protein Space |
| Yona |
GNS |
13,171 |
Predicting Protein–Protein Interactions |
Total Expenditures for Fiscal Year 2003–2004: $15,063,346 |
| Funded Collaborative Research at Cornell |
| Investigator |
Sponsor |
Award |
Title |
| Arms/Krafft/Lagoze/Eng Library |
NSF |
1,637,500 |
Collaborative Project: Core Integration of the National SMETE
Digital Library |
| Arms/Krafft/Lagoze/
Eng Library/Comm |
NSF |
8,745,453 |
Collaborative Project: Core Integration—Leading NSDL Toward
Long-term Success |
| Caruana/CTC |
NSF |
379,999 |
Multi-algorithm Parallel Optimization of Costly Functions |
| Coleman/CTC |
TG Information Network |
1,065,000 |
Financial Engineering and Tools |
| Coleman/CTC |
EPA |
28,440 |
Design, Setup, and Testing of High Performance Computing Cluster
to Support Water Modeling Needs at EPA |
| Coleman/CTC |
Aximetric Inc. |
30,000 |
Aximetric Inc. Collaboration Agreement |
| Coleman/CTC |
USDA |
232,180 |
Computation Agriculture Initiative |
Demers/Huttenlocher/Kleinberg/Marschner
/Astronomy |
NSF |
1,799,183 |
Petabyte Storage Services For Data-driven Science |
| Department/CTC/CURIE
/Summer College |
GE |
200,000 |
Program Continuum for Attracting and Retaining Women to/in CS
Studies for Information Technology Careers |
| Elber/Kleinberg/Chew/
Kedem/MBG |
NSF |
899,000 |
Multiscale Hierarchical Analysis of Protein Structure and Dynamics |
| Elber/Joachims |
NIH |
1,043,276 |
Optimization of Folding and Threading Proteins |
| Elber/BSCB |
anonymous |
361,113 |
Two-track Program in Computational Biology and Medicine
as a Part of the Tri-institutional Research Program |
Guckenheimer/Math/
Physics/CCB/MBG/
Biomedical/Mole Med/
Eng/Soc |
NSF |
3,371,200 |
IGERT: Program in Nonlinear Systems |
| Lagoze/Comm/Olin Library |
NSF |
2,425,899 |
Security and Reliability in Component-based Digital Libraries |
| Pingali/CTC |
NSF |
1,500,000 |
CISE Research Infrastructure: A Two-tier Computation and
Visualization Facility for Multiscale Problems |
| Pingali/Vavasis/Chew/CTC/Phy |
NSF ITR |
5,035,425 |
Adaptive Software for Field-driven Simulations |
| Selman/Gomes/M&AE |
AFOSR MURI |
258,567 |
Cooperative Control in Uncertain Adversarial Environments |
| Sirer/Gehrke/Demers/ECE |
NSF |
410,000 |
The Ad Hoc Classroom: Integrating Emerging Wireless
Communications and Networking Technologies into Mainstream
Computer Science and Electrical Engineering Curricula |
Tardos/Kleinberg/
Huttenlocher/Halpern/
OR&IE/Econ |
NSF |
2,468,677 |
ITR: Networks of Strategic Agents: Theory and Algorithms |
| Vavasis/CEE |
NSF |
500,000 |
MSPA–MCS: Automatic Geometric Simplification |
| Yona/Bio Sci |
NSF |
1,000,000 |
CRCNS: Modeling Pathfinding and Target Recognition in the
Olfactory System |
| Submitted Grant Proposals |
| Investigator |
Sponsor |
Award |
Title |
| Constable |
NSF |
1,298,766 |
Designing for Accountability |
| Demers/Gehrke/Riedewald |
NSF |
945,634 |
A Formal Approach to Data Stream Management Systems |
| Elber |
NIH |
500,000 |
A Computer Cluster for Computational Biology |
| Elber |
NIH sub of U Pittsburgh |
58,305 |
Computational Prediction of Biomolecular Dynamics |
| Francis |
Cisco |
99,930 |
Solving BGP Scaling Through Tunneled Virtual Super-prefixes |
| Francis |
NSF |
658,599 |
NeTS NR: Firebreak: An IP Perimeter Defense Architecture |
| Francis |
Telcordia |
175,491 |
Network and Service Architecture for DTN |
| Gehrke |
DOE |
300,000 |
Analyzing Spatio-temporal Simulation Data |
| Gehrke |
NSF |
886,849 |
ITR: (NHS)—(dmc): On Privacy-preserving Data Mining |
| Ginsparg |
NSF |
796,395 |
Classification, Analysis and Navigation Tools for Physics Research
Communication |
| Halpern |
ONR sub of U Penn |
189,000 |
Trustworthy Infrastructure, Mechanisms, and Experimentation
for Diffuse Computing |
| Halpern |
AFOSR |
419,853 |
Reasoning About Authorization and Security |
| Keich |
NSF |
803,058 |
SEI: Collaborative Research: Designing Algorithmic and Statistical
Tools for Computational Discovery of Transcription Factor Binding Sites |
| Lagoze/Payette |
U Virginia/Mellon |
711,763 |
The Open Source FEDORA Repository Development Project: Phase II |
| Lagoze/Warner |
NSF |
2,400,000 |
II: Pathways |
| Marschner |
NSF |
324,629 |
Collaborative Research: Efficient Representation, Acquisition, and
Rendering with Measured Reflectance in Computer Graphics |
| Myers |
ONR |
300,000 |
Using Information Flow To Construct Trustworthy Distributed Systems |
| Myers/Birman/Schneider |
NSF |
2,233,524 |
Integrating Security and Fault Tolerance in Distributed Systems |
| Rugina |
NSF |
430,838 |
Region-based Memory Management for Pointer-based Programs |
| Selman |
DARPA sub of SRI |
299,516 |
Architectures for Cognitive Information Processing |
| Tardos |
ONR |
534,544 |
Network Games and Approximation Algorithms |
| Submitted Collaborative Research
at Cornell |
| Investigator |
Sponsor |
Award |
Title |
| Birman/Schneider/Sirer/ECE |
NSF |
3,200,000 |
Team for Research in Ubiquitous Secure Technology (TRUST) |
| Birman/Sirer/ECE |
NSF |
2,206,999 |
NeTS–NOSS: Ultra Low-power Self-configuring Wireless |
| Caruana/ECE |
NSF |
542,378 |
Machine Learning Approaches to Understanding and Adapting Computer
Architecture and System Behavior and Performance |
| Caruana/Riedewald/Lab of Ornith |
NSF |
2,701,622 |
ITR—(ASE+EVS)—(dmc+sim): Tracking Environmental Change through
the Data Resources of the Bird-monitoring Community |
| Chew/Vavasis/M&AE |
NSF |
1,467,585 |
ITR—(ASE)—(sim+dmc): Collaborative Research: Algorithms for Largescale
Simulations of Turbulent Combustion |
| Coleman/CTC |
USDA |
207,085 |
Computation Agriculture Initiative |
| Elber / Gehrke/Plant Science |
Library of Life |
12,196,109 |
Bridging the Rift |
| Elber/Kedem/Yona/CCB |
NIH |
3,358,894 |
BioComUnity: NCBC for Systome Research |
| Marschner/Bala/PCG |
NSF |
3,577,319 |
ITR—(ASE+NHS)—(sim): The Visual Turing Test: Realistic Image
Synthesis for Future Displays |
| Pingali/Gomes/CTC |
NSF |
3,972,702 |
ITR—(ASE)—(dmc+sim+int): Agile Anomaly Detection and Dynamic
Evaluation of Responses |
| Sirer/ECE |
NSF |
3,130,996 |
IGERT: Mathematics, Physics, and Systems for Large Scale Sensor
Networks |
| Tardos/OR&IE |
NSF |
1,909,194 |
ITR: Collaborative Research—(ASE+EVS+NHS)—(soc+dmc+int)—Fairness
Issues in Heterogeneous Systems: an Algorithmic Approach |
Tardos/Cardie/Huttenlocher/
Econ/OR&IE/Comm |
NSF |
2,722,795 |
IGERT: Doctoral Training in Information Science |
| Yona/multiple depts |
NSF |
425,638 |
Acquisition of Instrumentation for Establishing a Microarray Core |