Dan Frumin (home page)


I am a postdoc researcher in Jorge Perez’s group Fundamental Computing. I did my PhD under the supervision of Herman Geuvers, Freek Wiedijk, and Robbert Krebbers. My thesis is available online, together with the associated Coq mechanizations.

My research is focused around program logics, semantics, and type theory, especially with applications to concurrency.

Contact information

  • Email: dan `at` groupoid.moe
  • Office: 01.01, Mercator 1 building, Toernooiveld 212, Nijmegen 6525 EC working from home


Preprints / drafts


Other / unpublished


  • Program Correctness, 2021.

Old teaching