Research Talks & Presentations
Details and slides for research presentations and talks.
Workshop on Programming Languages and Analysis for Security (PLAS)
Salt Lake City, Utah •
Theoretical Computer Science weekly seminar at Aalto University
Espoo, Finland •
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 •