Dan Frumin (home page)


I am currently a postdoc researcher in Jorge Perez’s group Fundamental Computing.

My research is focused around program logics and semantics of programming languages, especially with applications to concurrency. More broadly, I am interested in logic, both pure and with applications to computer science (concurrency, type theory).

Previously I was a PhD student under the supervision of Herman Geuvers, Freek Wiedijk, and Robbert Krebbers. My thesis is available online, together with the associated Coq mechanizations.

Contact information

  • Email: d.frumin `at` rug.nl
  • Office: 01.01, Mercator 1 building, Toernooiveld 212, Nijmegen 6525 EC working from home


Publications and preprints