Neea Rusch

Academic Scholarships, Fellowships, and Recognitions

Complete List of Awards

Select merit-based awards

Postdoctoral Awards

4/2026: Distinguished Artifact Reviewer at TACAS 2026
Awarded by the Artifact Evaluation Committee Chairs Matthias Volk and Guy Amir and the ETAPS Steering Committee.

Doctoral Awards

The funding of my doctoral research was generously supplemented by the many agencies listed below. I keep this detailed list to recognize everyone who helped me during that journey. The monetary total, without indirect payments, is about US$ 30,000.

I especially appreciate the team at The Graduate School for their continuous and consistent support in every year of my doctoral studies.

Academic year 2025/2026

10/2025: Distinguished Artifact Reviewer at OOPSLA'25
by the Artifact Evaluation Chairs: Eric Atkinson and Sankha Narayan Guria

Academic year 2024/2025

Academic year 2023/24

  • 7/2024: The Graduate School Scholarship โ€” $1,330
    by The Graduate School at Augusta University

  • 6/2024: Travel Scholarship โ€” $2,000
    by organizers of IEEE CSF 2024 and funded by NSF and IEEE
    for attending CSF'24 in the Netherlands

  • 5/2024: Marktoberdorf Summer School Travel Grant โ€” 1,000โ‚ฌ
    by organizers of the summer school
    for cost of travel to the Marktoberdorf Summer School in Germany

  • 4/2024: 3 Minute Thesis Finalist
    by TGS at Augusta University
    3MT is an annual interdisciplinary research communication competition

  • 3/2024: Research Travel Award โ€” $150
    by the GSGA at Augusta University
    for attending ETAPS'24 in Luxembourg

  • 3/2024: VerifyThis Travel Grant โ€” 850โ‚ฌ
    by ETH Zรผrich Programming Methodology Group
    to participate in VerifyThis 2024 verification competition in Luxembourg

  • 2/2024: ETAPS Student Scholarship โ€” 500โ‚ฌ
    by ETAPS e.V. and local organizers
    to attend the ETAPS'24 conference in Luxembourg City, Luxembourg

  • 1/2024: Ralph W. Shrader Graduate Diversity Scholarship, Fall 2023 โ€” $3,000
    by AFCEA Educational Foundation and sponsored by Booz Allen Hamilton
    support for educational expenses

  • 8/2023: Travel Award โ€” $1,000
    by The Graduate School at Augusta University
    for travel to ATVA'23 conference in Singapore

Academic year 2022/23

  • 5/2023: Verification Mentoring Workshop (VMW) Scholarship โ€” $3,600
    by the workshop organizers
    for travel expenses to attend the VMW and CAV'23 conference in Paris, France

  • 4/2023: Summer School on Formal Techniques Travel Award โ€” $700
    by SRI International and funded by NSF
    to attend the SSFT 2023 Summer School in Atherton, California

  • 1/2023: Student Research Program Award โ€” $1,000
    by Augusta University Provost's Office and the Translational Research Program of the Department of Medicine at Medical College of Georgia
    for support in dissertation research

  • 10/2022: Travel Award โ€” $1,000
    by The Graduate School at Augusta University
    to attend POPL'23 conference in Boston, Massachusetts

Academic year 2021/22

Pre-doctoral awards

  • 8/2015: Grace Hopper Scholarship
    by College of Computing at Georgia Institute of Technology
    to attend the Grace Hopper Celebration of Women in Computing in Houston, Texas

  • 4/2014: The Outstanding Computer Science Student 2014
    by Hull College at Augusta University
    recognition for academic excellence awarded annually to one graduating student

  • 4/2014: Phi Kappa Phi Inductee
    by Phi Kappa Phi at Augusta University
    membership is a recognition of superior academic excellence

  • 5/2013: Savannah River Scholars Program Scholarship โ€” $7,800
    by Augusta University, Andy Hauger and Sam Robinson, and funded by NSF

โ† Return