Dan Frumin (home page)

About

I am a postdoc researcher in Jorge Perez’s group Fundamental Computing, working on session types and processes-as-proofs interpretations.

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.

My research is focused around formal verification, program logics, semantics, and type theory, especially with applications to concurrency.

Contact information

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

Writings

Preprints

Publications

Unpublished

Teaching

Old teaching