Christian Doczkal

Post-doc, member of the CoVeCe Project (PLUME, LIP, ENS de Lyon)

Post-doc, Université Côte d'Azur, Inria - Marelle

About Me

I obtained my PhD at Saarland University in 2016 under the supervision of Gert Smolka. From 2016 to 2019, I was a postdoc at the ENS Lyon as part of the ERC CoVeCe Project of Damien Pous. Since October 2019, I am postdoc in the Marelle team at Inria Sophia Antipolis Méditerranée.

My research is mainly focused on the formalization of mathematics in the constructive type theory of the proof assistant Coq. I have developed formal machine-checked theories for a variety of topics including meta theory of modal logics, automata theory, set theory, and graph theory.

Recently, I have been working on building a graph library for Coq, which is available here.


Recent Publications/Drafts:

For a complete list of publications see DBLP. Publications from my time at Saarland University can be obtained from the Programming Systems Lab


Email: christian.doczkal at ens-lyon dot fr inria dot fr
GPG Fingerprint: EA38 A266 F1CD C29D 7D99 E682 8FB0 7748 9C64 B98D
Office: GN1 Nord 3 70, LIP, ENS Lyon