funding

  • Amazon Summer Undergraduate Research Experience (SURE). 2023 Amazon gift. PI Joshua Sunshine. $700,000.
  • Gradual Lifetime Analysis. 2022 Google gift. PI Joshua Sunshine. $110,000.
  • Research Experiences for Undergraduates in Software Engineering (REUSE). 2022 Algorand Centres of Excellence (ACE) award. $116,964.
  • Security Science Research Experiences for Undergraduates. 2022 National Security Agency Lablet award. $64,796.
  • JPMorgan Undergraduate Research Fellows. 2022 JPMorgan gift. PI Joshua Sunshine. $45,000.
  • REU SITE: CMU in Software Engineering (REUSE). 2022 National Science Foundation award #2150217. PI Joshua Sunshine with Co-PI Claire Le Goues. $416,347.
  • Enhancing flexible STEM thinking by generating interactive diagrams at scale . 2021 National Science Foundation award #2119007. PI Joshua Sunshine with Co-PIs Keenan Crane and Ken Koedinger. $849,432.
  • Security Science Research Experiences for Undergraduates. 2021 National Security Agency Lablet award. $65,170.
  • JPMorgan Undergraduate Research Fellows.” 2021 JPMorgan gift. PI Joshua Sunshine. $45,000.
  • CCRI: Planning: Collaborative Research: A Platform for Conducting Software Engineering User Studies. 2020 National Science Foundation award #2016586. PI Joshua Sunshine with George Mason PI Thomas LaToza and University of Texas San Antonio PI Xiaoyin Wang. $57,991.
  • Security Science Research Experience for Undergraduates. 2020 NSA lablet task. PI: Joshua Sunshine. $100,591.
  • SHF: Small: Declaratively Creating Semantics-driven Visualizations. 2019 National Science Foundation award #1910264. PI Jonathan Aldrich with Co-PIs Joshua Sunshine and Keenan Crane. $513,680.
  • SHF: Medium: Gradual Verification. 2019 National Science Foundation award #1901033. PI Jonathan Aldrich with Co-PI Joshua Sunshine.. $1,065,511.
  • Obsidian - A Safer Blockchain Programming Language. 2019 Ripple Blockchain Research Seed Funding. PIs Joshua Sunshine, Jonathan Aldrich, and Brad Myers. $40,000.
  • Incremental Verification, Gradually. 2019 Facebook Testing and Verification Research Award. PIs Jonathan Aldrich, Eric Tanter, and Joshua Sunshine. $50,000.
  • REU Site: Interdisciplinary Software Engineering. 2019 National Science Foundation award #1852260, PI Joshua Sunshine with Co-PI Claire Le Goues, $378,735 over 3 years, 2019-2022.
  • Obsidian: A Language for Secure-By-Construction Blockchain Programs. 2018 NSA lablet project. PIs: Jonathan Aldrich, Brad Myers, and Joshua Sunshine. $242,286.
  • Developing Static Analysis Techniques for Blockchain Application Development. 2017 SEI LENS project, PIs: Joshua Sunshine and Eliezer Kanal. $350,000 (not including SEI spending) over 2 years.
  • REU Site: Interdisciplinary Software Engineering. 2016 National Science Foundation award #1560137, PI Joshua Sunshine with Co-PI Claire Le Goues, $359,364 over 3 years, 2016-2018.
  • Science of Secure Frameworks. 2015 Bosch Research award, $50,000.