Award Abstract # 1522054
Collaborative Research: CompSustNet: Expanding the Horizons of Computational Sustainability

NSF Org: CCF
Division of Computing and Communication Foundations
Recipient: CORNELL UNIVERSITY
Initial Amendment Date: December 17, 2015
Latest Amendment Date: January 23, 2023
Award Number: 1522054
Award Instrument: Continuing Grant
Program Manager: Sylvia Spengler
sspengle@nsf.gov
 (703)292-7347
CCF
 Division of Computing and Communication Foundations
CSE
 Directorate for Computer and Information Science and Engineering
Start Date: December 15, 2015
End Date: November 30, 2023 (Estimated)
Total Intended Award Amount: $8,060,000.00
Total Awarded Amount to Date: $8,070,800.00
Funds Obligated to Date: FY 2016 = $3,652,320.00
FY 2017 = $611,283.00

FY 2018 = $1,607,976.00

FY 2019 = $1,596,066.00

FY 2020 = $603,155.00
History of Investigator:
  • Carla Gomes (Principal Investigator)
    gomes@cs.cornell.edu
  • David Shmoys (Co-Principal Investigator)
  • Bart Selman (Co-Principal Investigator)
  • Jon Conrad (Former Co-Principal Investigator)
  • John Hopcroft (Former Co-Principal Investigator)
Recipient Sponsored Research Office: Cornell University
341 PINE TREE RD
ITHACA
NY  US  14850-2820
(607)255-5014
Sponsor Congressional District: 19
Primary Place of Performance: Cornell University
Gates Hall
Ithaca
NY  US  14853-7501
Primary Place of Performance
Congressional District:
19
Unique Entity Identifier (UEI): G56PUALJ3KT5
Parent UEI:
NSF Program(s): Info Integration & Informatics,
Expeditions in Computing
Primary Program Source: 01001617DB NSF RESEARCH & RELATED ACTIVIT
01001718DB NSF RESEARCH & RELATED ACTIVIT

01001819DB NSF RESEARCH & RELATED ACTIVIT

01001920DB NSF RESEARCH & RELATED ACTIVIT

01002021DB NSF RESEARCH & RELATED ACTIVIT
Program Reference Code(s): 7364, 7556, 7723, 9102
Program Element Code(s): 736400, 772300
Award Agency Code: 4900
Fund Agency Code: 4900
Assistance Listing Number(s): 47.070

ABSTRACT

Poverty, saving species, repowering the world with renewable energy, lifting people up to live better lives - there are no easy answers to guiding our planet on the path toward sustainability. Complex problems require sophisticated solutions. They involve intricacy beyond human capabilities, the kind of big-data processing and analysis that only advanced large-scale computing can provide. This NSF Expedition in Computing launches CompSustNet (http://www.compsust.net), a vast research network powered by the nation's recognized university computer science programs, charged with applying the emerging field of computational sustainability to solving the world's seemingly unsolvable resource problems. Put simply, the project will enlist some of the top talents in computing, social science, conservation, physics, materials science, and engineering to unlock sustainable solutions that safeguard our planet's future.

Computational Sustainability is, at its core, the belief that with sufficiently advanced computational techniques, we can devise sustainable solutions that meet the environmental, societal, and economic needs of today while providing for future generations. In much the same way IBM's supercomputer Watson could defeat any challenger in Jeopardy!, computational sustainability posits that a computer-engineered solution can be applied to world's difficult and challenging problems - from helping farmers and herders in Africa survive severe droughts to developing a smart power grid fueled entirely by renewable energy. CompSustNet is a large national and international multi-institutional research network led by Cornell University and including 11 other US academic institutions: Bowdoin, Caltech, CMU, Georgia Tech, Howard University, Oregon State, Princeton, Stanford, UMass, University of South California, and Vanderbilt University, as well as collaborations with several international universities. But CompSustNet is not just an academic enterprise, as it also includes key governmental and non-governmental organizations that specialize in conservation, poverty mitigation, and renewable energy, such as The Nature Conservancy, The World Wildlife Fund, The International Livestock Research Institute, The Trans-African Hydro-Meteorological Observatory, and the National Institute of Standards and Technology.

CompSustNet's core mission is to significantly expand the horizons of computational sustainability and foster the advancement of state-of-the-art computer science to achieve the scale to tackle global problems. Research will focus on cross-cutting computational topics such as optimization, dynamical models, simulation, big data, machine learning, and citizen science, applied to sustainability challenges. For example, computational sustainability is being put to work to resolve the problem of providing wetlands for shorebirds that migrate from the Arctic through California during a time of drought. As California gets drier, the shorebirds have nowhere to stop, rest, and refuel by eating wetland invertebrates. Scientists are developing new dynamic precision conservation techniques that use complex, big-data models to tackle the problem with NASA satellite imagery, meteorological forecasts, and citizen science in the form of thousands of bird location sightings from the Cornell Lab of Ornithology's eBird checklisting app for birdwatchers. Through partnership with The Nature Conservancy, the program forecasts when and where wetland habitat would be needed for shorebirds, and the Conservancy pays Central Valley rice farmers to flood their fields at opportune times - providing benefits for birds and farmers at a time when extreme drought is making life tough for both. In similar ways, computational sustainability projects will also be hard at work innovating automated monitoring networks to protect endangered elephant population from poachers, promoting the discovery of novel ways to harvest energy from sun light, and designing algorithms to manage the generation and storage of renewable energy in the power grid.

Advancements in computational sustainability will lead to novel, low-cost, high-efficiency strategies for saving endangered species, helping indigenous peoples improve their way of life, and scaling renewables up to meet 21st century energy demand. CompSustNet is like the seed, the venture capital, to help the field of computational sustainability achieve what's possible.

PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH

Note:  When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

(Showing: 1 - 10 of 360)
Dembele, Bassidy and Yakubu, Abdul-Aziz "{Controlling imported malaria cases in the United States of America}" Mathematical Biosciences and Engineering , v.14 , 2016 , p.95--109 10.3934/mbe.2017007
Dhar, Manik and Grover, Aditya and Ermon, Stefano "{Modeling Sparse Deviations for Compressed Sensing using Generative Models}" Proceedings of the 35th International Conference on Machine Learning , v.80 , 2018 , p.1222--123
Du, Yuanqi and Wang, Yingheng and Huang, Yining and Li, Jianan Canal and Zhu, Yanqiao and Xie, Tian and Duan, Chenru and Gregoire, John and Gomes, Carla P "{M2Hub: Unlocking the Potential of Machine Learning for Materials Discovery}" Advances in Neural Information Processing Systems , v.36 , 2023 , p.77359--77
Eismann, Stephan and Levy, Daniel and Shu, Rui and Bartzsch, Stefan and Ermon, Stefano "{Bayesian Optimization and Attribute Adjustment}" Proc. 34th Conference on Uncertainty in Artificial Intelligence (UAI-18) , 2018
D{\'{i}}az, Mateo and Bras, Ronan Le and Gomes, Carla "{In Search of Balance: The Challenge of Generating Balanced Latin Rectangles}" Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR) , 2017 , p.68--76 10.1007/978-3-319-59776-8_6
{El Housni}, Omar and Goyal, Vineet and Shmoys, David "{On the Power of Static Assignment Policies for Robust Facility Location Problems}" Integer Programming and Combinatorial Optimization (IPCO) , 2021 , p.252--267 10.1007/978-3-030-73879-2_18
Dilkina, Bistra and Houtman, Rachel and Gomes, Carla P. and Montgomery, Claire A. and McKelvey, Kevin S. and Kendall, Katherine and Graves, Tabitha A. and Bernstein, Richard and Schwartz, Michael K. "{Trade-offs and efficiencies in optimal budget-constrained multispecies corridor networks}" Conservation Biology , 2016 10.1111/cobi.12814
Donti, Priya L. and Amos, Brandon and Kolter, J. Zico "{Task-based End-to-end Model Learning in Stochastic Optimization}" NIPS , 2017
Donti, Priya L. and Roderick, Melrose and Fazlyab, Mahyar and Kolter, J Zico "{Enforcing robust control guarantees within neural network policies}" International Conference on Learning Representations , 2021
Donti, Priya L. and Rolnick, David and Kolter, J Zico "{DC3: A learning method for optimization with hard constraints}" International Conference on Learning Representations , 2021
Doumbia, Moussa and Yakubu, Abdul-Aziz "{Malaria incidence and anopheles mosquito density in irrigated and adjacent non-irrigated villages of Niono in Mali}" Discrete and Continuous Dynamical Systems - Series B , v.22 , 2017 , p.841--857 10.3934/dcdsb.2017042
(Showing: 1 - 10 of 360)

PROJECT OUTCOMES REPORT

Disclaimer

This Project Outcomes Report for the General Public is displayed verbatim as submitted by the Principal Investigator (PI) for this award. Any opinions, findings, and conclusions or recommendations expressed in this Report are those of the PI and do not necessarily reflect the views of the National Science Foundation; NSF has not approved or endorsed its content.

This Expedition in Computing established the Computational Sustainability Network (CompSustNet), which focused on the emerging field of Computational Sustainability (CompSust). Computational Sustainability harnesses the power of Artificial Intelligence (AI) and computation to forge innovative solutions addressing environmental, societal, and economic challenges for a sustainable future. CompSustNet expanded the research and community-building expertise of the Cornell Institute for Computational Sustainability (ICS), which successfully launched the new field. CompSustNet's core mission was to bridge connections between sustainability and computing and information science, both nationally and internationally, laying the foundation for computational sustainability to evolve into a self-sustaining field. CompSustNet’s research institutions included Cornell, Oregon State, Princeton, Vanderbilt, Bowdoin, Caltech, CMU, GeorgiaTech, Harvard, Howard, Ohio State, Stanford, UMass-Amherst, and USC.

One CompSustNet sustainability research theme was balancing environmental and socioeconomic needs. For poverty mapping, we used transfer and other machine learning approaches to estimate various large-scale spatial and temporal socioeconomic indicators from publicly available satellite and remote sensing data, culminating in SustainBench, a suite of benchmarks and datasets related to reducing hunger and poverty, and other United Nations Sustainable Development Goals. We developed influence maximization algorithms for peer-led HIV prevention, illustrating how AI algorithms can have real impact on homeless youth. In epidemiology, we studied evolution and prevention of infectious diseases in fisheries, modeled anthrax spread from animals to humans, and disease infections, including cholera. We developed crowdsourcing approaches to rebalancing Citi Bike's fleet, combining optimization and behavioral economics to design incentive mechanisms, more effective than staff transporting bikes with trucks.

Our second theme was biodiversity and conservation. We developed species distribution models to estimate species diversity and composition at continental scales and, more generally, multi-label and multi-target regression models, combining deep learning and reasoning. We used cameras and genetic monitoring to identify locations visited by animals to design wildlife conservation corridors that better connect existing habitat reserves. Combining home ranges and how animals use the landscape, we developed new ways to choose best habitats to conserve and protect multiple species with restricted budgets. To combat poaching, we used green security games to design randomized patrol strategies that work against sophisticated and knowledgeable poachers. In ecology, we studied system dynamics with long transients (temporary changes), how they relate to more permanent changes, and the resilience of systems subjected to regularly repeated disturbances.

Our third theme was renewable and sustainable energy and materials. We developed exact and approximate (with optimality guarantees) approaches to compute Pareto frontiers for strategic planning of hydropower expansion in the Amazon basin. By analyzing ecosystem tradeoffs for different energy production targets, we show foregone benefits to ecosystem services and energy production due to the lack of coordinated hydropower planning. Moreover, even though hydropower is often associated with clean energy, we find that greenhouse gas emission intensities for some suboptimal dam portfolios may be worse than burning conventional fossil fuels. In contrast, optimal portfolios can be as low as solar power. In search for new energy materials, including solar fuels, we developed the Deep Reasoning Networks framework (DRNets), which pushes the frontiers of AI for scientific discovery by seamlessly integrating reasoning about prior scientific knowledge into deep learning using an interpretable latent space. As a result, DRNets require only modest amounts of (unlabeled) data, in sharp contrast to standard deep learning approaches. DRNets reaches super-human performance for crystal-structure phase mapping, a core, long-standing challenge in materials science, enabling the discovery of fuel cells and solar fuel materials. We further showed the generality of DRNets for other tasks, including demixing overlapping Sudokus, and developed new ways to predict material properties. We developed new ways to combine optimization and machine learning to provide robustness guarantees for power systems like microgrids. Looking at consumer energy usage, we investigated patterns of interactions between household members around energy-related decisions and their role influencing home energy consumption.

Through interdisciplinary research projects (IRPs) based on our sustainability research themes, we identified and developed many cross-cutting computational approaches. The scale, scope, and complexity of the problems led us to advance the state-of-the-art in AI, machine learning, and other areas of computer science. These approaches focused on our three broad computational thrusts: constraint reasoning and optimization, dynamical models and simulation, big data and machine learning, multi-agent systems, crowdsourcing, and citizen science.

In addition to identifying and solving computational problems, we nurtured a vibrant Computational Sustainability research community. We expanded the CompSust conference series into ACM's COMPASS conferences and annual doctoral consortia hosted by different member universities. We organized relevant special tracks, workshops, symposia, master classes, tutorials at many AI conferences, and seminar series featuring senior researchers and graduate students. We gave numerous keynote speeches and public lectures related to computational sustainability. We trained PhD students and postdocs who obtained tenure-track positions at leading institutions. More information about these activities is on our website (https://www.compsust.net/) and connected social media.


Last Modified: 03/22/2024
Modified by: Carla P Gomes

Please report errors in award information by writing to: awardsearch@nsf.gov.

Print this page

Back to Top of page