Hi, It's an honour to have you on my homepage!
I am a PhD student under the supervision of
Helle Hvid Hansen,
Jan Rutten and
at the Radboud University, Nijmegen.
I am fascinated by the elegance that coalgebras and coinduction offer in
understanding state-based systems, infinite structures and logical
Concretely, my current research is concerned with type systems that have
coinductive data types.