groupoid.moe - Dan (Daniel) Frumin

home > domains > groupoid.moe

Example domain paragraphs

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.

Links to groupoid.moe (4)

• iris-project.org Iris Project
• robbertkrebbers.nl About | Robbert Krebbers
• alenarslanagic.net Alen Arslanagić
• basvdheuvel.github.io Bas van den Heuvel