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

Writings

Preprints / drafts

Publications

Other / unpublished

Teaching

Old teaching