Lean for the Curious Mathematician 2023
Bootstrap Theme
I am a postdoctoral researcher at the Mathematical Institute of the Heinrich-Heine-Universität Düsseldorf . My main research interests are interactive and automated theorem proving. I have a PhD in computer science from the Vrije Universiteit Amsterdam.
My thesis won the Ackermann Award , the Beth Award , the McCune Award , and the IPA dissertation award !
Lean for the Curious Mathematician 2023