About Me
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
- Apartness
- Corecursion/coinduction (up-to)
An (ongoing) attempt to explain my PhD topic in an accessible way: pdf download
Address
Office 1.08Dept. Software Science
Institute for Computing and Information Sciences
Faculty of Science
Mercator 1 Building
Toernooiveld 212
6525 EC Nijmegen
turkenburgrtc (at) (the google one)