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

Papers paper007.gif

Publications and preprints

Other

Teaching book.gif

Seminars and meetings

Misc

Last updated: 2018-10-29 ma 13:04

Emacs 25.2.2 (Org mode 9.1.3)

Validate