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 also work with Gagan Agrawal on network intrusion detection and adversarial machine learning.
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.
Papers
Talks & Presentations
Service
Artifact Evaluation Committee (AEC)
Extended review committee
- 2023: ECOOP Research papers
And
- Organization committee of SERPL 2023
- Reviewer for The Journal of Open Source Software
- Student volunteer at CAV'23 and POPL'23 and SPLASH'22
Teaching
I have taught at Augusta University many programming courses.
Studies
-
ΔΛΔ and PL Reading Group