Dan Frumin (home page)

I am no longer employed at Radboud, so this website will be disable soon. Please head over to the newer version of my website.


I am a PhD student under the supervision of Herman Geuvers, Freek Wiedijk, and Robbert Krebbers. My research interests include program semantics, separation logic, and type theory.

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 email3d.gif

  • Email: dfrumin at cs dot ru.nl
  • Office: 01.01, Mercator 1 building, Toernooiveld 212, Nijmegen 6525 EC

Writings paper007.gif


Teaching book.gif

Seminars and meetings


Last updated: 2020-07-06 ma 14:34

Emacs 26.3 (Org mode 9.2.4)