Dan Frumin (home page)

About

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.

Contact information email3d.gif

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

Writings paper007.gif

Other

Teaching book.gif

Seminars and meetings

Misc

Last updated: 2019-04-10 Wed 13:58

Emacs 26.1 (Org mode 9.1.3)

Validate