Dan (Daniel) Frumin



I am a logician and a computer scientist in Fundamental Computing group at the University of Groningen. My research is focused on formal reasoning about concurrent programs, using techniques from (mathematical) logic. More generally, I am interested in substructural logics, type theory, programming language semantics, and formalization of proofs in proof assistants. If you are a student and you are interested in doing a project on any of the topics mentioned above, please feel free to contact me. See here for previous student projects from our group.

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 that, I have been a postdoc with Lars Birkedal at the Logic and Semantics group, and a postdoc with Jorge Perez at the Fundamental Computing group.

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

Contact information

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




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