Once Jesper Cockx but now running Agda instead.

Associate professor @DelftPL@AkademieNL.social.

I've taken the 🔸10% Pledge (#2542) to donate to effective charities since 2017.

I've received the Five Mindfulness Trainings in the Plum Village tradition in 2023.

Talk to me about:
- Dependently typed programming
- Tabletop role-playing games
- Effective Altruism
- Veganism
- Neurodiversity
- Mindfulness and Engaged Buddhism
- Woodwind instruments (particularly bassoon and clarinet)
- Hiking and landscape photography