Neea Rusch

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.


Talks & Presentations

SCOT Seminar on Semantic and Formal Approaches to Complexity, .
CoqPL'23, International Workshop on Coq for Programming Languages, .
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

Student volunteer


I have taught at Augusta University many programming courses [details].


dblp   arXiv   orcid   Github