Selected Talks

• Modal Crash Types for Intermittent Computing. Workshop on Principles, Theory, and Practice for Decentralized Applications (PLAID), 2024.
• Session-Typed Recursive Processes and Infinitary Proofs. Special session on the semantics of non-wellfounded and circular proofs, MFPS 2024. [Video]
• Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers. Workshop on Principles of Secure Compilation (PriSC), 2023. [Video]
• Noninterference for session-typed processes. 16th Workshop on Programming Languages and Analysis for Security (PLAS), 2021. [Slides]
• Infinitary proof theory of first order linear logic with fixed points. Assosiation for Symbolic Logic North American Annual Meeting (online). Special Session on Proof Theory, 2020. [Slides] [Video]
• Session-Typed Recursive Processes and Circular Proofs. PhD proposal, Philosophy Department, Carnegie Mellon University. Advised by Frank Pfenning, 2020. [Slides]
• Computational interpretation of substructural proofs. Assosiation for Symbolic Logic North American Annual Meeting. Logic and Philosophy Special Session, 2018.