Christian Doczkal

Saarland University Computer Science

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.

Other Interests

Functional Programming (Haskell mosml)
Linux (Ubuntu)(Gentoo)


name: Christian Doczkal
mail: <lastname>
room: R 523
phone: 0681 302-5626

Christian Doczkal, Wed May 25 13:24:58 2016