Dan Frumin (home page)

1 About

I am a PhD student under the supervision of Herman Geuvers and Freek Wiedijk in the Sovereign project. We are interested in working on tractable methods for reasonining about and verifying software with the use of program logics, type theory, and interactive proof assistants.

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-01-14 zo 17:56

Emacs 25.1.1 (Org mode 9.1.3)