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

Defense

Dissertation "Applied Implicit Computational Complexity".
My dissertation defense date is August 15, 2025.
You are invited to attend in person or virtually.

Defense details

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

Research Papers

Clément Aubert, Thomas Rubiano, Neea Rusch, and Thomas Seiller
preprintslidestool guideweb demo
Clément Aubert, Thomas Rubiano, Neea Rusch, and Thomas Seiller
preprintslidesartifact
Clément Aubert, Thomas Rubiano, Neea Rusch, and Thomas Seiller
paperslidescode

Research Talks & Presentations

, Doctoral Symposium at ECOOP 2025.
, Programming Languages seminar at Uppsala University.
, Workshop on Programming Languages and Analysis for Security (PLAS).
, Theoretical Computer Science weekly seminar at Aalto University.
, The Three Minute Thesis (3MT) research communication competition.
, International Symposium on Automated Technology for Verification and Analysis (ATVA).
, SCOT Seminar on Semantic and Formal Approaches to Complexity.
, International Workshop on Coq for Programming Languages (CoqPL).
, International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI).
, Doctoral Symposium at SPLASH.

List of talks →

Professional Service

Artifact Evaluation Committee
* = distinguished reviewer

Editor

Extended review committee

Reviewer

And

Community Building

At Augusta University

  • Organizer of the weekly programming languages (PL) reading group (2023-2025).
  • Co-founder of ΔΛΔ student organization, for students interested in PL research.
  • Representative in two graduate student councils (GSGA, TGS-GSC).
  • Creator and admin of the CS graduate students discussion channel (now Discord).
  • I documented my PhD milestones (0, 1, 2) — hopefully these help future students.
  • I am institutionally certified in access, success and belonging.

Guides

Teaching

I have taught many programming courses at Augusta University.

Studies

dblp   arXiv   ORCID   GitHub