Dan (Daniel) Frumin

About me

I am a logician and a computer scientist in Fundamental Computing group at the University of Groningen, where I work on concurrency and formal reasoning about concurrent programs. My research interest include:

  • semantics of programming languages, type theory and type systems;
  • program verification and substructural logics (especially concurrent separation logics);
  • category theory and its applications to fundamental computer science and programming;
  • formal proofs and proof assistants (especially Rocq and Univalent Foundations).

Contact information

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

Brief bio

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.

Teaching

Recent teaching

  • Introduction to Logic (2025)
  • Models and Semantics of Computation (2025)
  • Programs and Interactive Proofs (2025)
  • Computer Science Student Colloquium (2026)
  • Languages and Machines (2026)

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

See the Propositions-as-Sessions course (ESSLLI24) (August 2024)

See also the Full teaching page

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.

Seminars and meetings

home blog posts index