Publications (fetched from DBLP)
( version)
Talks
- Corecursion up-to via Causal Transformations, presented at CMCS '22
- Preservation and Reflection of Bisimilarity via Invertible Steps, presented at NetTCS seminar 2022-12
- Preservation and Reflection of Bisimilarity via Invertible Steps, presented at FoSSaCS '23
- Forward and Backward Steps in a Fibration, presented at University of Sheffield seminar
- Forward and Backward Steps in a Fibration, presented at CALCO '23
- Proving Behavioural Apartness, presented at CMCS '24
Visits
- (2024-09 — 2024-11) Visiting Kyoto Sangyo University hosted by Shin-ya Katsumata
- (2024-11 — 2024-12) Visiting NII in Tokyo hosted by Ichiro Hasuo
Teaching
- TA Languages and Automata 2021/22, 2022/23, 2023/24, 2024/25, Radboud University Nijmegen
- TA Complexity 2021/22, 2022/23, 2023/24, Radboud University Nijmegen
- Undergraduate TA for various Computing Science courses at Leiden University 2015-2019
Organisation
- Co-organisor of NetTCS seminar
- Co-organisor of Software Science department seminar