Dan Frumin (home page)


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.

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-06-25 Thu 10:21

Emacs 26.2 (Org mode 9.2.4)