Academic Scholarships, Fellowships and Recognitions
A complete list of all support I have received for my research.
I especially appreciate The Graduate School at Augusta University, for their consistent support every year of my doctoral studies.
Academic year 2024/2025
-
5/2025: ๐ Distinguished Artifact Reviewer at TACAS 2025
by the Artifact Evaluation Chairs -
2/2025: PLISS studentship โ 500โฌ
by organizers of the summer school
for registration at Programming Language Implementation Summer School in Italy -
10/2024: ๐ Distinguished Artifact Reviewer at OOPSLA'24
by the Artifact Evaluation Chairs -
10/2024: Research Travel Award โ $250
by the GSGA at Augusta University
for travel to PLAS'24 in Salt Lake City, Utah -
8/2024: Travel Award โ $1,000
by The Graduate School at Augusta University
for participation expenses of the Marktoberdorf Summer School in Germany
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 -
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 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
-
5/2022: Programming Languages Mentoring Workshop (PLMW) Scholarship โ $350+
by ACM SIGPLAN
to attend PLMW and the PLDI'22 conference in San Diego, California -
4/2022: Excellence in Research in Computer & Cyber Sciences Award โ $100
by The Graduate School at Augusta University
for presentation at Augusta University's 37th Annual Graduate Research Day -
12/2021: VMCAI 2022 Student Travel Fellowship โ $1,500
by the VMCAI 2022 organizers
to attend the VMCAI 2022 conference in Philadelphia, Pennsylvania -
11/2021: Travel Award โ $1,000
by The Graduate School at Augusta University
for travel expenses to present at Laboratoire d'Informatique de Paris Nord (LIPN) seminar in Paris, France
Pre-doctoral awards
-
8/2015: Grace Hopper Scholarship
by College of Computing at Georgia Institute of Technology
full cover of costs 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 -
5/2013: Savannah River Scholars Program Scholarship โ $7,800
by Augusta University, PIs Andy Hauger and Sam Robinson, and funded by NSF
Total awards >$28,000 excluding indirect payments and exchange rates.