Dan (Daniel) Frumin

About me


I am a logician and a computer scientist in Fundamental Computing group at the University of Groningen. I am interested in concurrent programs and reasoning about their behavior. My research interest include

I finished my PhD under the supervision of Herman Geuvers, Freek Wiedijk, and Robbert Krebbers at Radboud University Nijmegen. My thesis is available online, together with the associated Coq mechanizations. After my PhD, I have been a postdoc with Lars Birkedal at the Logic and Semantics group, and a postdoc with Jorge Pérez at the Fundamental Computing group.

Student projects

If you are a student and you are interested in doing a project (be it a short project or a thesis) related to one of the topics mentioned above, then please do not hesitate to contact me.

See here for a list of previous student projects offered from our group.

Contact information

  • Email: dan `at’ groupoid.moe, d.frumin `at’ rug.nl
  • Office: Bernoulliborg (5161) 0414




Current teaching

At the University of Groningen:

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

All the information is available on the BrightSpace. See also the Education section on the FC webpage.

Old teaching links

Seminars and meetings