FY 22 AWARDS

• Mind in vitro: Computing with Living Neurons
  Lead PI/Institution: Mattia Gazzola, University of Illinois at Urbana-Champaign
• DISCoVER: Design and Integration of Superconducting Computation for Ventures beyond Exascale Realization
  Lead PI/Institution: Massoud Pedram, University of Southern California

FY 20 AWARDS

• Global Pervasive Computational Epidemiology
  Lead PI/Institution: Madhav Marathe, University of Virginia
• Understanding the World Through Code
  Lead PI/Institution: Armandao Solar-Lezama, Massachusetts Institute of Technology
• Coherent Ising Machines (CIMs)
  Lead PI/Institution: Hideo Mabuchi, Stanford University

FY 18 AWARDS

• Secure, Real-Time Decisions on Live Data
  Lead PI/Institution: Ion Stoica, University of California, Berkeley
• Enabling Practical-scale Quantum Computing
  Lead PI/Institution: Frederic Chong, The University of Chicago
• Computational Photo-Scatterography: Unraveling Scattered Photons for Bio-imaging
  Lead PI/Institution: Ashutosh Sabharwal, Rice University

FY 16 AWARDS

• The Science of Deep Specification
  Lead PI/Institution: Andrew Appel, Princeton University
• Evolvable Living Computing -- Understanding and Quantifying Synthetic Biological Systems' Applicability, Performance, and Limits
  Lead PI/Institution: Douglas Densmore, Boston University
• CompSustNet: Expanding the Horizons of Computational Sustainability
  Lead PI/Institution: Carla Gomes, Cornell University

FY 13 AWARDS

• Molecular Programming Architectures, Abstractions, Algorithms and Applications
  Lead PI/Institution: Erik Winfree, California Institute of Technology
• Visual Cortex on Silicon
  Lead PI/Institution: Vijaykrishnan Narayanan, Pennsylvania State University Park

FY 12 AWARDS

• ExCAPE: Expeditions in Computer Augmented Program Engineering
  Lead PI/Institution: Rajeev Alur, University of Pennsylvania
• Making Sense at Scale with Algorithms, Machines and People (AMP)
  Lead PI/Institution: Michael Franklin, University of California (UC) Berkeley
• An Expedition in Computing for Compiling Functional Physical Machines
  Lead PI/Institution: Daniela Rus, Massachusetts Institute of Technology (MIT)
• Making Socially Assistive Robots
  Lead PI/Institution: Brian Scassellati, Yale University

FY 10 AWARDS

• Variability-Aware Software for Efficient Computing with Nanoscale Devices
  Lead PI/Institution: Rajesh Gupta, University of California – San Diego
• Understanding Climate Change: A Data Driven Approach
  Lead PI/Institution: Vipin Kumar, University of Minnesota
• Computational Behavioral Science: Modeling, Analysis, and Visualization of Social and Communicative Behavior
  Lead PI/Institution: James M. Rehg, Georgia Institute of Technology

FY 09 AWARDS

• RoboBees: A convergence of body, brain, and colony
  Lead PI/Institution: Robert Wood, Harvard University
• Customizable Domain-Specific Computing
  Lead PI/Institution: Jason Cong, University of California Los Angeles
• Formal Analysis of Complex Systems
  Lead PI/Institution: Edmund Clarke, Carnegie Mellon University

FY 08 AWARDS

• Understand, Cope with, and Benefit From Intractability
  Lead PI/Institution: Sanjeev Arora, Princeton University
• Computational Sustainability: Computational Methods for a Sustainable Environment, Economy, and Society
  Lead PI/Institution: Carla Gomes, Cornell University
• Open Programmable Mobile Internet 2020
  Lead PI/Institution: Nick McKeown, Stanford University
• Molecular Programming Project
  Lead PI/Institution: Erik Winfree, California Institute of Technology