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 •