Research Talks & Presentations
The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024), .
Theoretical Computer Science weekly seminar at Aalto University, .
ATVA'23, International Symposium on Automated Technology for Verification and Analysis, .
SCOT Seminar on Semantic and Formal Approaches to Complexity, .
CoqPL'23, International Workshop on Coq for Programming Languages, .
VMCAI'23, International Conference on Verification, Model Checking, and Abstract Interpretation, .
SPLASH'22, Doctoral Symposium, .
TYPES'22, International Conference on Types for Proofs and Programs, .
(poster) The 37th Annual Graduate Research Day, Augusta University, .
IRISA and LIPN seminars, .
The 36th Annual Graduate Research Day, Augusta University, .