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