Christian Doczkal

Saarland University Computer Science

My name is Christian Doczkal and I am a former PhD Student of 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 obtained my PhD from Saarland University in 2016 and am currently a member of the PLUME Team at the ENS Lyon.


name: Christian Doczkal
mail: <lastname>

Legal notice, Privacy policy