Henning Basold

Me in Thailand

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

About Me

I am a postdoc with Damien Pous in the the PLUME team and a member of the CoVeCe project.

Before that, I wrote my PhD thesis 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. Combining this with the beauty of automatically verifiable proofs obtained from type theory gives a rough idea of my research area.