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 • 🇫🇮
“A noninterference calculus” — a lightning talk, slides only
The 2024 Marktoberdorf Summer School
Herrsching, Germany • 🇩🇪
“An information flow calculus” — a lightning talk, slides only
The 37th IEEE Computer Security Foundations Symposium
Enschede, the Netherlands • 🇳🇱
The Three Minute Thesis (3MT) research communication competition
Augusta and Atlanta, Georgia • 🇺🇸
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Singapore • 🇸🇬
The International Conference on Security and Privacy in Communication Networks
Hong Kong, Hong Kong SAR • 🇭🇰
“Certifying resource analysis” — a lightning talk, slides only
The International Autumn School on Proof and Computation
Herrsching, Germany • 🇩🇪
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 • 🌐