Ike Mulder

me@ikemulder.nl

foto ike

Hey! I am a PhD student at Radboud University Nijmegen, supervised by Robbert Krebbers and Herman Geuvers.

My research interests include formalized mathematics, formal software verification and (proof) automation. My research is currently focused at improving the proof automation of the Iris framework for separation logic.

News

Diaframe

My main research project centers around the development of Diaframe, a plugin for Iris aimed at (partially) automating proofs. Don't hesitate to reach out if you have questions!

Publications

Academic service

Other interests

I enjoy skiing, snowboarding and playing boardgames.