Dan Frumin (home page)


I am currently a postdoc researcher in Jorge Perez’s group Fundamental Computing. I am interested in concurrency, type theory, logic, and semantics.

Previously I was a PhD student under the supervision of Herman Geuvers, Freek Wiedijk, and Robbert Krebbers. My thesis is available online; the public defense will happen on the 12th of March 2021, at 11:30.

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