Dan Frumin (home page)

About

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

Contact information

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

Papers

Publications and preprints

Other

Teaching

Seminars and meetings

Misc

Last updated: 2018-09-21 vr 11:43

Emacs 25.2.2 (Org mode 9.1.3)

Validate