PhD Student
Symposium on Principles of Programming Languages (POPL)
Reversible Computation (RC)
Workshop on Principles of Secure Compilation (PriSC)
International Conference on Runtime Verification (RV)