About Me
I am a researcher at Radboud University Nijmegen in the Software Science department, working with dr. Jurriaan Rot.
My research interests include all things coalgebra, currently (and more specifically):
- Coalgebraic logic
- Apartness
- Corecursion/coinduction (up-to)
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)