Dan Frumin (home page)

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.

Contact information

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

Unpublished writings

Teaching

Seminars and meetings

Misc

Last updated: 2017-10-22 zo 12:09

Emacs 25.1.1 (Org mode 9.0.9)

Validate