Skip to main content

Grants

Co-Principal Investigator — Cornell Atkinson Center for Sustainability Academic Venture Fund, 2024–2026

Rethinking Hydropower to Satisfy Energy, Climate, and Biodiversity Goals

Co-Principal Investigator — AFOSR FA9550-23-1-0322, 2023–2026, $1.2M

Bridging Data-Intensive and Knowledge-Intensive Methods for Scientific and Mathematical Discovery

Principal Investigator — Air Force Office of Scientific Research (AFOSR), Defense University Research Instrumentation Program (DURIP) FA9550-23-1-0569, 2023–2024, $826K

Extending the Power of AI for Scientific Discovery

Co-Principal Investigator (University of Minnesota subaward) — NSF and USDA-NIFA 2023-67021-39829, 2023–2028, $20M

AI-CLIMATE (AI Institute for Climate-Land Interactions, Mitigation, Adaptation, Tradeoffs and Economy)

Please use the following text to acknowledge this award in your publications:
This research is part of AI-CLIMATE: "AI Institute for Climate-Land Interactions, Mitigation, Adaptation, Tradeoffs and Economy," and is supported by USDA National Institute of Food and Agriculture (NIFA) and the National Science Foundation (NSF) National AI Research Institutes Competitive Award no. 2023-67021-39829.
Project website: https://cse.umn.edu/aiclimate.

Faculty Lead — Schmidt Futures, 2022–2028

The Eric and Wendy Schmidt AI in Science Postdoctoral Fellowship

Co-Principal Investigator — Cornell Atkinson Center for Sustainability Academic Venture Fund, 2021–2023

Balancing Environmental and Nutritional Tradeoffs of Expanding Amazonian Aquaculture

Principal Investigator — Air Force Office of Scientific Research (AFOSR), Defense University Research Instrumentation Program (DURIP) FA9550-21-1-0316, 2021–2022, $341K

AI for Discovery Assistant (AIDA): A Computational Platform for Accelerating Scientific Discovery with AI

Co-Principal Investigator — Air Force Office of Scientific Research (AFOSR) FA9550-20-1-0421, 2020–2023, $566K

The Integration of Reasoning and Learning Strategies for Scientific Discovery

Co-Principal Investigator — Joint Cornell Atkinson Center for Sustainability - The Nature Conservancy Innovation for Impact Fund (Joint Atkinson-TNC IIF), 2020–2021, $200K

Strategies for Climate-Ready Fishing Communities: Optimal Fishing Portfolios for Changing Ocean Ecosystems

Principal Investigator (Caltech subaward) — Department of Energy DE-SC0020383, 2019–2022, $405K

Energy Materials Chemistry Integrating Theory, Experiment and Data Science

Lead PI: John Gregoire, Caltech

Co-Principal Investigator — National Science Foundation OIA-1936950, 2019–2020, $988K

Convergence Accelerator Phase I (RAISE): Convergence Research to Meet Ocean Decision Challenges

Co-Principal Investigator — Air Force Office of Scientific Research (AFOSR), Multidisciplinary University Research Initiatives (MURI) Program FA9550-18-1-0136, 2018–2023, $7.5M

Scientific Autonomous Reasoning Agent (SARA): Integrating Materials Theory, Experiment and Computation

Principal investigator — Toyota Research Institute, 2017–2025, $2M

Accelerated Learning Lab: Capturing Deep Structure to Accelerate Materials Discovery

Collaborative with John Gregoire at Caltech

Co-Principal Investigator — Air Force Office of Scientific Research (AFOSR) FA9550-17-1-0292, 2017–2020, $566K

The Integration of Reasoning and Learning Strategies for Scientific Discovery

Principal investigator — Army Research Office (ARO), Defense University Research Instrumentation Program (DURIP) W911NF-17-1-0187, 2017–2018, $425K

A Platform for Computational-and-Data-Intensive Methods for Large-Scale Intelligent Distributed Systems

Atkinson Center for a Sustainable Future Academic Venture Fund, 2016–2018

Hydropower and Ecosystem Services

Lead principal investigator — National Science Foundation Expeditions CCF-1522054, 2015–2020, $10M

Collaborative Research: CompSustNet: Expanding the Horizons of Computational Sustainability

Co-Principal Investigator — Future of Life Institute 2015-145009, 2015–2018, $25K

Scaling-Up AI Systems: Insights from Computational Complexity

PI: Bart Selman

Principal investigator — DOD - Army Research Office W911NF-14-1-0498, 2014–2017, $600K

Crowd-Sourcing for Scientific Discovery

Principal investigator — Atkinson Center for a Sustainable Future Academic Venture Fund, 2014–2016

Crowdsourcing Rangeland Ecology Data

Atkinson Center for a Sustainable Future Academic Venture Fund, 2014–2016

Conserving Ecuador's Forests for Bears and Biodiversity

New York State Department of Environmental Conservation C008698, 2014–2018, $41K

New York State Invasive Species Research Institute

PI: Bernd Blossey

Lead principal investigator — National Science Foundation Expeditions CNS-0832782, 2008–2016, $10M

Collaborative Research: Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society

Principal investigator — Atkinson Center for a Sustainable Future (ACSF)

ACSF Matching Funds for NSF Expeditions

Principal investigator — Australian Development Research Awards Scheme (ADRAS), 2013–2015, $694K

The human and environmental impacts of migratory pastoralism in arid and semi-arid East Africa

Collaborating with University of Sydney

Co-Principal Investigator — National Science Foundation IIS-1209589, 2012–2015, $575K

SOCS: Collaborative Research: A Human Computational Approach for Improving Data Quality in Citizen Science Projects

PI: Steven T. Kelling

Principal investigator — US Forest Service, Rocky Mountain Research Station 10-JV11221635-241, 2010–2015, $61K

Integrating Ecological and Social Data to Optimize Economic Decisions on Wildlife Corridors

Principal investigator — National Science Foundation IIS-1258330, 2013–2014, $133K

Exploratory Research in Automated Computational Analysis of Inorganic Materials Libraries

Principal investigator — National Science Foundation Collaborative Project CNS-1143651, 2011–2014, $122K

PC3: Collaborative Project: Wireless Sensor Networks for Protecting Wildlife and Humans

w/ Ohio State and UCLA

Principal investigator — National Science Foundation IIS-0939505, 2009–2010, $15K

Student and Junior Researcher Participation in CompSust09: 1st International Conference on Computational Sustainability

Atkinson Center for a Sustainable Future Academic Venture Fund, 2008–2010

Forecasting Disease and Economic Consequences of Climate Change

Atkinson Center for a Sustainable Future Academic Venture Fund, 2008–2009

Sources of Uncertainty for Sustainable Resource Management

Principal investigator — Air Force office of Scientific Research FA9550-08-1-0196, 2008–2010, $420K

Bridging the Gap Between Theory and Practice: Structure and Randomization in Large Scale Combinatorial Search

Co-Principal Investigator — National Science Foundation 0713499, 2007–2010, $405K

RI: Extending the Reach of SAT Technology:Quantification, Counting, and Sampling

PI: Bart Selman

Co-Principal Investigator — DOD - DARPA/AFRL FA8750-04-2-0216, 2004–2009, $3.6M

Boosting Reasoning Technologies Through Randomization, Structure Discovery, and Hybrid Strategies

PI: Bart Selman

Principal investigator — Kodak Eastman SUPPLEMENT 12, 2007–2008, $170K

Computational Intelligence for Print Shop Workflows

Principal investigator — University of Rochester, 2007–2008, $30K

Computational Intelligence for Print Shop Workflows

Principal investigator — Air Force Office of Scientific Research FA9550-04-1-0151, 2004–2008, $3.9M

Intelligent Information Systems Institute, basic research

Co-Principal Investigator — Air Force Office of Scientific Research, (MURI), 2024, $1M

Cooperative Control in Uncertain, Adversarial Environments

Cornell portion $1M; Principal Investigator J. Shamma, UCLA; joint with UCLA, MIT, Caltech.

Principal investigator — Air Force Office of Scientific Research F49620-01-1-0076, 2000–2004, $3.2M

Intelligent Information Systems Institute, basic research

Co-Principal Investigator — DOD - DARPA/AFRL F30602-00-2-0530, 2000–2003, $1.6M

Controlling Computational Cost:Structure, Phase Transitions, and Randomization

PI: Bart Selman

Co-Principal Investigator — DARPA, 2024, $890K

Self-Configuring Wireless Transmission and Decentralized Data Processing for Generic Sensor Networks

With S. Wicker (PI), T. Fine, L. Tong, and V. Veeravalli

Co-Principal Investigator — DOD - DARPA/AFRL F30602-00-2-0596, 2000–2003, $550K

Controlling Computational Cost:Structure, Phase Transitions, and Randomization

PI: Bart Selman

Co-Principal Investigator — DARPA, 2024, $650K

Principled Analysis & Synthesis of Agent Systems Using Tools from Statistical Physics

Principal investigator — DOD - Air Force Research Labs F30602-99-1-0006, 1999–2002, $261K

Hybrid Approaches for Combinatorial Problems

Principal investigator — DOD - Air Force Research Labs F30602-99-1-0005, 1999–2001, $396K

Compute-Intensive Methods for Combinatorial Problems

Principal investigator — Air Force Office of Scientific Research, 1996–2024, $1.2M

Integration of AI and OR for Mixed Initiative Continuous Planning and Scheduling

Principal investigator — AFOSR, DURIP F49620-99-1-0195, 1999–2000, $158K

A Platform for the Experimental Study of Compute-Intensive Combinatorial Methods in Planning

Principal investigator — DOD - Air Force, Rome Laboratories F30602-98-1-0008, 1998–1999, $204K

Integration of AI/OR Techniques

Collaborators and Research Infrastructure

Contact Information

Dept. Computer Science
353 Gates Hall
Cornell University
Ithaca, NY 14853 USA

Faculty of Computing and Information Science
Dept. Information Science
Dyson School of Applied Economics and Management

607-255-9189 (voice); 607-255-4428 (fax)
gomes at cs.cornell.edu
http://www.cs.cornell.edu/gomes