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.
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.
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, .
Artifact evaluation committee
Extended review committee
- 2023: ECOOP Research papers
I have taught at Augusta University many programming courses [details].