Neea Rusch

Research Talks & Presentations

Details and slides for research presentations and talks.

Doctoral Symposium at ECOOP 2025
Bergen, Norway
Programming Languages seminar at Uppsala University
Uppsala, Sweden
Workshop on Programming Languages and Analysis for Security (PLAS)
Salt Lake City, Utah
Theoretical Computer Science weekly seminar at Aalto University
Espoo, Finland
The Three Minute Thesis (3MT) research communication competition
Augusta and Atlanta, Georgia
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Singapore
SCOT Seminar on Semantic and Formal Approaches to Complexity
online
International Workshop on Coq for Programming Languages (CoqPL)
Boston, Massachusetts
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Boston, Massachusetts
Doctoral Symposium at SPLASH
Auckland, New Zealand
International Conference on Types for Proofs and Programs (TYPES)
Nantes, France
The 37th Annual Graduate Research Day at Augusta University
Augusta, Georgia
IRISA Rennes and LIPN seminars
Rennes and Paris, France
The 36th Annual Graduate Research Day at Augusta University
online