I am a PhD candidate at Radboud University Nijmegen in the Software Science department under supervision of dr. Jurriaan Rot.
My research interests include all things coalgebra, currently (and more specifically):
- Coalgebraic logic
- Corecursion/coinduction (up-to)
An (ongoing) attempt to explain my PhD topic in an accessible way: pdf download