Dan Frumin (home page)

About

I am a postdoc researcher in the Logic and Semantics group working with Lars Birkedal on modeling and reasoning about effectful computations.

Previously, I was a postdoc researcher in Jorge Perez’s group Fundamental Computing, working on session types and processes-as-proofs interpretations. 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: Turing (building 5341)

Writings

Preprints

Publications

Unpublished

Teaching

Old teaching