| Nov 08, 2024 | Our paper Abstract Operational Methods for Call-by-Push-Value has been accepted for publication at POPL’25! |
| Jun 27, 2024 | I am joining the ACP Section at the University of Southern Denmark (SDU) as a tenure-track Assistant Professor in early 2025. |
| Apr 15, 2024 | Our paper Bialgebraic Reasoning on Higher-order Program Equivalence has been accepted for publication at LICS’24! |
| Dec 22, 2023 | Our paper Logical Predicates in Higher-Order Mathematical Operational Semantics has been accepted for publication at FoSSaCS’24! |
| Aug 01, 2023 | DFG Project ATLaS: Abstract Techniques for Programming Languages and Secure Compilation (~700K EUR) granted! The PIs are Sergey Goncharov and myself. |
| Apr 05, 2023 | Our paper Weak Similarity in Higher-Order Mathematical Operational Semantics has been accepted for publication at LICS’23! |
| Nov 08, 2022 | Our paper Towards a Higher-Order Mathematical Operational Semantics has been accepted for publication at POPL’23! |