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.