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.

Contact

name: Christian Doczkal
mail: <lastname>@ps.uni-saarland.de
web: http://perso.ens-lyon.fr/christian.doczkal/


Christian Doczkal, Thu Oct 27 15:46:50 2016