Research Talks & Presentations
Details and slides for research presentations and talks.
The UPLANG seminar at Uppsala University
๐ธ๐ช Uppsala, Sweden โข
dissertation defense, Augusta University
๐บ๐ธ Augusta, Georgia โข
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
๐ Augusta, Georgia (online) โข