I am a computer science doctoral student at Augusta University, School of Computer and Cyber Sciences, in Augusta Georgia, 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.
Papers
Clément Aubert, Thomas Rubiano, Neea Rusch, and Thomas Seiller
Talks & Presentations
SCOT Seminar on Semantic and Formal Approaches to Complexity, .
CoqPL'23, International Workshop on Coq for Programming Languages, .
SPLASH'22, Doctoral Symposium, .
TYPES'22, International Conference on Types for Proofs and Programs, .
The 37th Annual Graduate Research Day, Augusta University (poster), .
IRISA and LIPN seminars, .
The 36th Annual Graduate Research Day, Augusta University, .
Service
Artifact evaluation committee
Extended review committee
- 2023: ECOOP Research papers
Student volunteer
Teaching
I have taught at Augusta University many programming courses [details].