Henning Basold

Me in Florence

Hi, It's an honour to have you on my homepage!

About Me

I am a PhD student under the supervision of Helle Hvid Hansen, Jan Rutten and Herman Geuvers at the Radboud University, Nijmegen.

Research Interest

I am fascinated by the elegance that coalgebras and coinduction offer in understanding state-based systems, infinite structures and logical operations. Concretely, my current research is concerned with type systems that have coinductive data types.