Dan Frumin (home page)


I am currently a postdoc researcher in Jorge Perez’s group Fundamental Computing.

Before that I was a PhD student under the supervision of Herman Geuvers, Freek Wiedijk, and Robbert Krebbers. My PhD thesis is currently under submission (I will upload the latest draft here eventually).

A lot of my research is supported by Coq formalizations, and I have contributed to Iris, std++ and UniMath. I work on and maintained logics ReLoC and SeLoC.

Contact information

  • Email: dan`at`groupoid.moe
  • Office: 01.01, Mercator 1 building, Toernooiveld 212, Nijmegen 6525 EC