Dan Frumin (home page)


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 software and verifying software with the use of proof assistants, logic and type theory.

Contact information

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


Unpublished writings

Seminars and meetings


Last updated: 2017-07-15 za 08:24

Emacs 25.1.1 (Org mode 9.0.9)