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 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 Coq 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

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

Current teaching

  • Intro to Logic (2024)
  • Models and Semantics of Computation (2024)
  • Programs and Interactive Proofs (2025)
  • Languages and Machines (2025)

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

See the Full teaching page

Seminars and meetings

home blog posts index