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
My dissertation defense date is August 15, 2025. You are invited to attend in person or virtually.
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.
Research Papers
Research Talks & Presentations
Professional Service
Artifact Evaluation Committee
Editor
- since 2025: The Journal of Open Source Software
Extended review committee
- 2024: ECOOP Research papers
- 2023: ECOOP Research papers
Reviewer
And
- 2x recognized for excellence in artifact evaluation — 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
At Augusta University
- Co-founder of ΔΛΔ student organization, for students interested in programming languages research
- Ran the weekly programming languages reading group [2023-2025]
- Computer science representative in two graduate student councils [GSGA, TGS-GSC]
- Creator and admin of the CS graduate students discussion channel [now Discord]
- Institutionally certified in access, success and belonging
Guides
-
Research advice guides - various writings about the mechanics of doing research.
-
Funding guide - a survival guide for unfunded doctoral students at Augusta University.
-
Introduction to artifact evaluation - a guest lecture I gave at University of Georgia.
Teaching
I have taught many programming courses at Augusta University.