Activities

Presentations

• [2025] A Formal Specification of the NOVA Microhypervisor ABI, talk at FOSDEM 2025.
• [2024] A Lightweight Framework for Decomposing Logical Atomicity of LTS Composition, talk at the 4th Iris Workshop.
• [2023] Decomposing end-to-end refinement proofs across multiple semantics within separation logics, talk at the 3rd Iris Workshop.
• [2022] More hidden states, more modalities, and generalized invariants and ghost ownership, talk at the 2nd Iris Workshop.
• [2019] RustBelt Relaxed, talk at the 1st Iris Workshop.

Reviewer

• TOPLAS Reviewer (2025).
• ESOP'2024 External reviewer.
• ECOOP'2022, ECOOP'2023 AEC and Extended PC.
• POPL'2021 AEC.
• ESOP'2020, ECOOP'2019, OOPSLA'2018: Sub-reviewer.

Teaching

• Advanced Program Analysis block seminar, TA, Summer 2019.
• Semantics, TA, Winter 2017/2018.

Internships

• BedRock Systems, Summer 2020.
• Google V8, Munich, Summer 2018.