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.