Dan Frumin (home page)

1 About

I am a PhD student under the supervision of Herman Geuvers, Freek Wiedijk, and Robbert Krebbers.

2 Contact information

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

3 Papers

Unpublished writings

4 Teaching

5 Seminars and meetings

6 Misc

Last updated: 2018-02-18 zo 12:36

Emacs 25.2.2 (Org mode 9.1.3)

Validate