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 •