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.

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

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, .

Service

Artifact evaluation committee

Extended review committee

Student volunteer

Teaching

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

Studies


dblp   arXiv   orcid   Github