Dan Frumin (home page)

About

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

Writings

Preprints / drafts

Publications

Other / unpublished

Teaching

  • Program Correctness, 2021.

Old teaching