Neea Rusch

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

Clément Aubert, Thomas Rubiano, Neea Rusch, and Thomas Seiller
Clément Aubert, Thomas Rubiano, Neea Rusch, and Thomas Seiller

Research Talks & Presentations

ATVA'23, International Symposium on Automated Technology for Verification and Analysis, .
SCOT Seminar on Semantic and Formal Approaches to Complexity, .
CoqPL'23, International Workshop on Coq for Programming Languages, .
VMCAI'23, International Conference on Verification, Model Checking, and Abstract Interpretation, .
TYPES'22, International Conference on Types for Proofs and Programs, .
(poster) The 37th Annual Graduate Research Day, Augusta University, .
IRISA and LIPN seminars, .
The 36th Annual Graduate Research Day, Augusta University, .

Service

Artifact Evaluation Committee (AEC)

Extended review committee

And

Teaching

I have taught at Augusta University many programming courses.

Introduction to artifact evaluation (invited talk).

Studies


dblp   arXiv   ORCID   GitHub