- Graduate Outstanding Publication Award, Kansas State University, 2021 ($500)
- Gattanni Outstanding Graduate Student Award, Kansas State University, 2019 ($1000)
- Graduate Outstanding Publication Award, Kansas State University, 2019 ($500)
- Graduate Outstanding Student Award, Kansas State University, 2019
- SSFT 2019: Summer School on Formal Techniques, California ($600)
- IEEE 2019: Embedded Systems Week (ESWEEK), New York ($1000)
- GSC 2019: Graduate Student Council, Kansas State University ($600)
- ERGP 2018: Engineering Research and Graduate Programs, Kansas State University ($200)
- MVD 2018: Midwest Verification Day Workshop, University of Iowa ($300)
- MVD 2016: Midwest Verification Day Workshop, Iowa State University ($300)
- Dagstuhl Seminar 2016: Computer-Assisted Engineering for Robotics and Autonomous Systems, Germany (Funded by NSF)
- Marktoberdorf 2016: International Summer School, Germany ($1400)
- VMW 2016: Verification Mentoring Workshop, Canada ($600)