Activities

Reviewer

• ESOP'2024 External reviewer.
• ECOOP'2022, ECOOP'2023 AEC and Extended PC.
• POPL'2021 AEC.
• Sub-reviewer for Viktor Vafeiadis: ESOP'2020.
• Sub-reviewer for Derek Dreyer: ECOOP'2019, OOPSLA'2018.

Teaching

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

Internships

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