Funded Research - Computing & Information Science / Computer Science | ||||||
Investigator | Sponsor | Award |
Period of Award
|
Title | ||
Arms | NSF | 799,085 | 9/15/2000 | 8/31/2002 | The NSDL Central System | |
Birman | NASA / JPL | 240,000 | 5/1/2000 | 9/30/2001 | Ensemble and Spinglass: Technologies for High Performance Cluster Management and Communication | |
Birman / Constable | DARPA / AFRL | 4,127,386 | 7/1/1999 | 12/30/2003 | Spinglass Adaptive Probabilistic Tools for Advanced Networks | |
Birman / Gehrke / Demers | AFOSR | 4,000,000 | 5/1/2002 | 4/30/2007 | Scalable Technology for a New Generation of Collaboration Applications | |
Cardie | NSF / POWRE | 68,695 | 7/15/2000 | 12/31/2002 | Integrating Natural Language Processing and Information Retrieval for Intelligent Text-Processing | |
Cardie | DARPA / ONR | 948,169 | 5/18/2000 | 5/17/2003 | Rapidly Portable Translingual Information Extraction and Interactive Multidocument Summarization | |
Constable | NSF | 283,975 | 1/1/1999 | 12/31/2002 | Creating and Evaluating Interactive Formal Courseware for Mathematics and Computing | |
Constable | NSF | 20,800 | 3/15/2001 | 2/28/2003 | Enhancing Proof Assistant Systems | |
Constable | DARPA / AF | 2,004,156 | 6/2/1998 | 9/30/2002 | An Open Logical Programming Environment: A Practical Framework for Sharing Formal Models | |
Constable | ONR | 1,938,148 | 5/1/2001 | 4/30/2004 | Building Interactive Digital Libraries of Formal Algorithmic Knowledge | |
Department | NSF | 1,331,298 | 8/15/1997 | 7/31/2002 | A Next Generation Computing and Communications Substrate | |
Department | BEA | 50,000 | 8/21/2001 | BEA WebLogic | ||
Elber | NSF | 465,742 | 4/1/2000 | 3/31/2003 | Kinetics of Ion Channels by Atomically Detailed Computer Simulations | |
Elber | NIH | 943,467 | 4/1/2000 | 3/31/2004 | Long Time Dynamics of Biomolecules | |
Gehrke | NSF | 370,000 | 9/1/1998 | 8/31/2001 | JAGUAR: JAVA in Next Generation Database Systems | |
Gehrke | AFRL | 735,000 | 9/23/1999 | 3/31/2003 | Flexible Decision Support in Device-Saturated Environments- SenseIT | |
Gehrke | NSF | 235,000 | 9/1/2001 | 8/30/2004 | Interactive and Online Data Mining | |
Gehrke | NSF | 210,000 | 10/1/2001 | 9/30/2004 | Scalable Decision Tree Construction | |
Gehrke | Lockheed Martin | 25,000 | 10/1/2001 | 9/30/2002 | Intelligent Data Cleansing Technologies | |
Gehrke | NSF | 340,000 | 9/1/2002 | 8/31/2007 | CAREER: Towards Sensor Database Systems | |
Gehrke / Demers | KD-D thru NSF | 240,000 | 6/1/2002 | 11/30/2002 | Distributed Mining and Monitoring | |
Gehrke / Sirer / Shanmugasundaram | Microsoft | 70,878 | 12/1/2001 | Query Caching and Routing for Mobile Ad Hoc Clients in the .Net Framework | ||
Ginsparg | NSF | 958,797 | 9/1/2001 | 8/31/2004 | E-Print Archive | |
Gomes / Selman | AFRL | 351,094 | 3/1/1999 | 7/31/2001 | Compute-Intensive Methods for Combinatorial Problems | |
Gomes | AFRL | 260,688 | 3/1/1999 | 2/28/2002 | Hybrid Approaches for Combinatorial Problems | |
Gomes | AFRL | 3,100,000 | 12/1/2000 | 11/30/2003 | Intelligent Information Systems Institute | |
Halpern | NSF | 348,000 | 9/1/1996 | 8/31/2001 | A Qualitative Framework for Reasoning Under Uncertainty | |
Halpern | NSF | 90,000 | 9/1/2000 | 2/28/2002 | SGER: Decision-making in Complex Systems | |
Halpern | ONR | 230,000 | 9/1/1997 | 8/31/2001 | Applications of Failure Detection | |
Halpern | ONR | 433,962 | 4/30/1997 | 12/31/2002 | Semantic Consistency in Information Exchange | |
Halpern | ONR | 200,000 | 3/1/2000 | 2/28/2002 | Resource Bounded Knowledge and Security | |
Halpern | ONR | 87,086 | 2/15/2001 | 2/14/2002 | Reasoning About Noninterference | |
Halpern | ONR | 526,058 | 5/1/2001 | 4/30/2006 | Software Quality and Infrastructure Protection for Diffuse Computing | |
Halpern | AFOSR | 322,788 | 1/1/2002 | 12/31/2004 | Formulating and Reasoning About Security Policies | |
Halpern | ONR | 354,763 | 4/1/2002 | 3/31/2005 | A Logical Foundation for Reasoning About Security | |
Kleinberg | NSF | 200,000 | 4/1/1997 | 3/31/2002 | CAREER: Algorithmic Methods for Networks | |
Kleinberg | ONR | 305,000 | 5/1/1999 | 4/30/2002 | Algorithms for Networks and Link-Structured Data | |
Kleinberg | Packard | 625,000 | 10/13/1999 | 10/12/2004 | Algorithmic Methods for Networks | |
Kleinberg / Lee/ Cardie/ Selman | NSF ITR | 450,000 | 9/1/2000 | 8/31/2003 | The Construction and Analysis of Information Networks | |
Kozen | NSF | 210,000 | 8/1/2001 | 7/31/2004 | Kleene Algebra | |
Lagoze | Digital Library Federation | 177,467 | 1/1/2001 | 12/31/2002 | Open Archives Initiative | |
Lagoze | NSF | 255,700 | 10/1/1999 | 9/30/2002 | Metadata for Resource Discovery of Multimedia Digital Objects Harmony | |
Lagoze | NSF | 291,650 | 10/1/1999 | 9/30/2002 | Integrating and Navigating Eprint Archives through Citation-Linking | |
Lagoze | Univ of Virginia/ Mellon | 300,000 | 10/1/2001 | 9/30/2004 | The Open Source FEDORA Repository Development Project | |
Lagoze / Arms | CNRI | 915,000 | 9/1/1998 | 8/31/2001 | Digital Library Testbed Program | |
Lee | Sloan | 40,000 | 9/16/2002 | 9/15/2004 | Sloan Research Fellowship | |
Morrisett | Sloan | 35,000 | 9/16/1998 | 9/15/2002 | Sloan Research Fellowship | |
Morrisett | NSF | 205,000 | 3/1/1999 | 2/28/2003 | CAREER: Design, Applications, and Foundations of Safe Low Level Program Languages | |
Morrisett | AFOSR / PECASE | 1,000,000 | 4/15/2001 | 4/14/2006 | Next Generation Systems Languages | |
Myers | NSF | 349,999 | 1/1/2002 | 12/31/2006 | CAREER: Practical Language-Based End-to-End Security | |
Myers | Sloan | 40,000 | 9/16/2002 | 9/15/2004 | Sloan Research Fellowship | |
Pingali | NSF | 190,993 | 1/1/1999 | 12/31/2002 | MATLAB Extensions and Compiler Techniques for High Performance Computing | |
Pingali | NSF | 548,314 | 6/1/2001 | 5/31/20 | Synthesis of Block-Recursive Codes for Deep Memory Hierarchies | |
Pingali | NSF | 236,826 | 11/1/2001 | 10/31/2004 | A Framework for Developing Complex Applications on High-End Petaflop-Class Machines | |
Pingali | NSF | 590,000 | 10/1/2001 | 9/30/2004 | ITR/SY: A New Framework for Program Optimization | |
Schneider | AFOSR | 2,050,000 | 3/15/2000 | 8/31/2002 | AFRL/Cornell Information Assurance Institute | |
Schneider | AFOSR | 592,657 | 6/1/2001 | 5/31/2003 | CIPIAF for Information Assurance Institute | |
Schneider | AFOSR | 2,638,325 | 6/1/2002 | 11/30/2006 | AFRL/Cornell Information Assurance Institute | |
Schneider | Intel | 146,000 | 7/16/2001 | Research on Language-Based Security | ||
Schneider | Microsoft | 150,000 | 8/21/2001 | Information Assurance Institute | ||
Schneider / Myers | DARPA / AF | 2,709,784 | 6/16/1999 | 9/30/2003 | Containment and Integrity for Mobile Code | |
Schneider/ Morrisett | AFOSR | 844,408 | 3/1/2000 | 11/30/2002 | Language-Based Security for Extensible Systems | |
Schneider / Morrisett / Kozen / Myers | ONR | 4,247,977 | 7/1/2001 | 6/30/2006 | Language-Based Security for Malicious Mobile Code | |
Selman | Sloan | 35,000 | 9/16/1999 | 9/15/2003 | Sloan Research Fellowship | |
Selman | NSF | 300,000 | 8/1/1998 | 7/31/2002 | CAREER: Compute Intensive Methods for AI | |
Selman / Gomes | AFRL | 550,000 | 7/1/2000 | 11/9/2002 | Principled Analysis & Synthesis of Agent Systems Using Tools from Statistical Physics | |
Selman / Gomes | DARPA/ AF | 1,621,041 | 4/27/2000 | 8/26/2003 | Controlling Computational Cost: Structure, Phase Transitions and Randomization | |
Selman / Lee | DOD / Expertology, Inc. | 30,000 | 10/15/2000 | 10/14/2001 | Expertise Location Using Automatically Generated Network Models | |
Sirer | Schlumberger Research Foundation | 30,000 | 7/1/2001 | Assuring the Security of Java Card Operating Systems Using Automated Techniques | ||
Sirer | Microsoft | 115,000 | 6/27/2001 | Assuring the Security of Components in the .Net Framework | ||
Tardos | NSF | 249,559 | 7/1/1997 | 6/30/2002 | Algorithmic Issues in Communication Networks | |
Tardos | DARPA / ONR | 256,212 | 9/8/2000 | 3/31/2003 | Efficient Algorithms for Transportation in Dynamic Networks | |
Tardos | ONR | 1,176,548 | 4/1/1998 | 9/30/2004 | Algorithmic Issues in Network Design and in Information Access | |
Tardos / Zabih | NSF | 300,000 | 9/1/2001 | 8/31/2004 | ITR/SY: Combinatorial Optimization Algorithms for Information Access | |
Van Loan | NSF | 247,874 | 9/1/1999 | 8/31/2002 | New Applications and Algorithms that Involved the Kronecker Product | |
Vogels | Microsoft | 35,000 | 9/27/2000 | Scalable Enterprise Cluster Computing | ||
Yona | Bio & Life Sciences | 48,658 | 7/1/2001 | 6/30/2002 | Global Self-Organization of the Protein Space: Towards a Map of the Protein Space | |
Yona | NSF | 1,103,917 | 1/1/2002 | 12/31/2006 | CAREER: Global Self-Organization of all Known Proteins - Toward a Complete Map of the Protein Space | |
Zabih | NSF | 150,000 | 9/15/1999 | 8/31/2002 | Dynamic Contextual Recognition of Moving Objects | |
TOTAL EXPENDITURES FOR FISCAL YEAR 2001-2002: $12,813,573 |
Submitted Grant Proposals | ||||||
Investigator | Sponsor | Amount |
Proposed Period
|
Title | ||
Cardie | NSF | 500,000 | 6/1/2002 | 5/31/2005 | Reducing the Corpus Annotation Bottleneck for Natural Language Learning | |
Cardie | MITRE Corp | 61,743 | 5/10/2002 | 9/3/2002 | ARDA NRRC Workshop | |
Constable | NSF | 300,000 | 7/1/2002 | 6/30/2007 | Innovative Programming Technology for Embedded Systems | |
Elber / Joachims | NIH | 1,315,838 | 4/1/2003 | 3/31/2008 | Optimization of Folding and Threading Proteins | |
Gehrke / Demers | KD-D thru NSF | 240,000 | 12/1/2002 | 5/31/2003 | Distributed Mining and Monitoring | |
Gehrke / Sirer / Shanmugasundaram/ Demers / Birman | NSF | 900,000 | 9/1/2002 | 8/31/2005 | ITR: Massively Convergent Distributed Computing | |
Halpern | NSF | 300,000 | 6/1/2002 | 5/31/2005 | Towards Improved Logics For Reasoning About Security | |
Kreitz | NSF | 285,000 | 5/1/2002 | 4/30/2005 | Proof Automation in Constructive Type Theory | |
Morrisett | DARPA - sub of Cigital | 81,046 | 10/1/2002 | 9/30/2003 | Organically Assured and Survivable Information Systems (OASIS) Demonstration and Validation (Dem/Val) Program | |
Myers | NSF | 330,000 | 6/1/2002 | 5/31/2005 | End-to-end Integrity and Confidentiality for Distributed Systems | |
Schneider / Morrisett | AFOSR | 471,107 | 7/1/2003 | 11/30/2005 | Trust in Security-Policy Enforcement Mechanisms |
Collaborative Research at Cornell | ||||||
Investigator | Sponsor | Award | Period of Award | Title | ||
Arms / Krafft / Lagoze / Eng Library | NSF | 1,637,500 | 9/1/2001 | 8/31/2003 | Collaborative Project: Core Integration of the National SMETE Digital Library | |
Coleman / Elber / TC | NIH | 9,583,781 | 4/15/1992 | 11/30/2001 | Parallel Processing Resource for Biomedical Scientists | |
Coleman / TC | TG Information Network | 840,000 | 9/1/2000 | 8/31/2003 | Financial Engineering and Tools | |
Coleman / TC | NYS | 1,200,000 | 5/1/2001 | 4/30/2002 | Theory Center Operational Support FY02 | |
Coleman / TC | NYS | 1,200,000 | 5/1/2002 | 4/30/2003 | Theory Center Operational Support FY2003 | |
Department / CTC / CURIE/ Summer College | GE | 200,000 | 1/28/2002 | 1/27/2004 | Program Continuum for Attracting and Retaining Women to/in CS Studies for Information Technology Careers | |
Elber / Kleinberg / Chew / Kedem / MGB | NSF | 899,000 | 9/1/2000 | 8/31/2003 | Multiscale Hierarchical Analysis of Protein Structure and Dynamics | |
Lagoze / Comm / Olin Library | NSF | 2,425,899 | 5/1/1999 | 4/30/2003 | Security and Reliability in Component-Based Digital Libraries | |
Pingali / TC | NSF | 1,500,000 | 10/1/1999 | 9/30/2004 | CISE Research Infrastructure: A Two-tier Computation and Visualization Facility for Multiscale Problems | |
Pingali / Vavasis / Chew / TC / Phy | NSF ITR | 5,035,425 | 9/1/2000 | 8/31/2004 | Adaptive Software for Field-Driven Simulations | |
Pingali / Vavasis / CEE | NSF | 1,852,592 | 1/15/1998 | 12/31/2001 | Challenges in CISE: Crack Propagation on Tera Flop Computers | |
Selman / Gomes / ECE | DARPA | 109,736 | 4/18/2000 | 4/17/2003 | Configuring Wireless Transmission and Decentralized Data Processing for Generic Sensor Networks | |
Selman / Gomes / MAE | AFOSR MURI | 266,600 | 5/1/2001 | 4/30/2004 | Cooperative Control in Uncertain Adversarial Environments |
Submitted Collaborative Research at Cornell | ||||||
Investigator | Sponsor | Amount | Proposed Period | Title | ||
Arms / Krafft / Lagoze / Eng Library | NSF | 8,293,405 | 10/1/2002 | 9/30/2006 | Collaborative Project: Core Integration - Leading NSDL Toward Long-Term Success | |
Cardie / Human Dev | NSF | 1,834,230 | 10/1/2002 | 9/30/2007 | Collaborative Center Grant: A Virtual Center for Child Language Acquisition | |
Sirer / Gehrke / Demers / ECE | NSF | 410,000 | 8/1/2002 | 7/31/2005 | The Ad Hoc Classroom: Integrating Emerging Wireless Communications and Networking Technologies into Mainstream Computer Science and Electrical Engineering Curricula | |
Yona / Bio Sciences | NSF | 1,000,000 | 9/1/2002 | 8/31/2006 | CRCNS: Modeling Pathfinding and Target Recognition in the Olfactory System |