My name is Christian Doczkal and I'm a postdoc at the Programming Systems Lab.
My research revolves around the development of formal theories in type theory. I have developed or been involved in the development of theories on modal and temporal logics, regular languages, and set theory. For more information see my publications page.
I recently finished my PhD where I developed a machine-checked constructive methatheory of CTL in the proof assistant Coq.
Functional Programming (Haskell mosml)
Wed May 25 13:24:58 2016