Christian Doczkal

Postdoc researcher, Université Côte d'Azur, Inria - STAMP

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 STAMP 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 metatheory 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.

I am currently looking for a student/intern interested in developing a reflective decision procedure for finite sets.


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 inria dot fr
GPG Fingerprint: EA38 A266 F1CD C29D 7D99 E682 8FB0 7748 9C64 B98D
Office: Inria Sophia Antipolis Méditerranée, Fermat Building, F117