Dan Frumin (home page)


I am an assistant professor (UD) in the Fundamental Computing group at the University of Groningen. My research is focused around formal verification, program logics, semantics, and type theory, especially with applications to concurrency.
If you would like to do a student project on any of those topics, please get into contact with me.

Before that I was a postdoc with Lars Birkedal at the Logic and Semantics group, and a postdoc with Jorge Perez at the Fundamental Computing group.

Previously, 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.

I have contributed to the Coq formalizations of UniMath and Iris.

Contact information

  • Email: dan `at’ groupoid.moe
  • Office: Bernoulliborg (5161) 0411






  • Intro to Logic (2023), Models and Semantics of Computation (2023)

Old teaching