I am a computer science doctoral student at Augusta University, in Augusta Georgia, in the United States. My advisor is Dr. Clément Aubert. You can find my CV here.
Contact nrusch@augusta.edu
Research
I work with Clément Aubert, Thomas Seiller and Thomas Rubiano on the "Static Analyses of Program Flows: Types and Certificates for Complexity" (StATyCC) project. The project aims at providing new static analysis tools based on theoretical results from implicit computational complexity.
I am interested in program analysis, implicit computational complexity, and formal verification using theorem provers. I am working on combining these ideas in my dissertation research.
My dissertation defense date is August 15, 2025.
Papers
Research Talks & Presentations
Service
Artifact Evaluation Committee
-
2025: CAV and ECOOP and ICFP and OOPSLA and ‹Programming› and POPL and TACAS
-
2023: COORDINATION and ECOOP and ICFP and PLDI and PPoPP and SOSP
Editor
Extended review committee
- 2024: ECOOP Research papers
- 2023: ECOOP Research papers
Reviewer
And
- Two recognitions for excellence in artifact evaluation at OOPSLA 2024 and TACAS 2025
- Student volunteer at POPL'25, ETAPS'24, CAV'23, POPL'23, and SPLASH'22
- Organization committee member of SERPL 2023
Community Building @ Augusta University
- Co-founder of ΔΛΔ for students interested in programming languages research
- In two years with ΔΛΔ, we hosted 42 student life & engagement events
- Ran the weekly PL Reading Group from 2023 until 2025
- Computer science representative in two student councils [GSGA, TGS-GSC]
- Creator and admin of the CS Grad Students discussion channel [now Discord]
- Institutionally certified in promoting access, success and belonging
Teaching
- I have taught at Augusta University many programming courses
- See my guest lecture on introduction to artifact evaluation