Dominik Kirst

Saarland University Computer Science
Dominik Kirst

My name is Dominik and I am a PhD student at the Saarbrücken Graduate School of Computer Science and the Programming Systems Lab.

I did my Bachelor's Thesis and a Research Immersion Lab on set theory formalised in Coq. I obtained my Master's degree from the University of Oxford with a thesis on intersection type systems and nominal automata.

I am broadly interested in theoretical computer science, computational logic and their connections to philosophy and cultural studies. Currently, I am working on categorical axiomatisations of second-order ZF.


Summer 2017 Advisor
Category Theory
Programming Systems Lab.
Summer 2014 Student TA
Introduction to Computational Logic
Programming Systems Lab.
Winter 2013/2014 Student TA
Theoretical Computer Science
Programming Systems Lab.
Summer 2013 Student TA
Programming 2
Compiler Design Lab.
Winter 2012/2013 Student TA
Programming 1
Programming Systems Lab.
Summer 2012 Student TA
Mathematics Precourse
Saarland University.

Supervised Students

Leonhard Staut, 2017, Bachelor's thesis (in progress)
Formalising Nu-Tree Automata


Categoricity Results for Second-Order ZF in Dependent Type Theory (pdf)
Dominik Kirst and Gert Smolka
ITP 2017, Brasilia, Brazil, 2017.

Intersection Type Systems Corresponding to Nominal Automata (pdf)
Dominik Kirst
Master's Thesis, Lady Margaret Hall, University of Oxford, 2016.

Formalised Set Theory: Well-Orderings and the Axiom of Choice (pdf)
Dominik Kirst
Bachelor's Thesis, Programming Systems Lab, Saarland University, 2014.


Mail: kirst at
Adress: Saarland University,
Saarland Informatics Campus E1 3, Rm 523
66123 Saarbrücken
Phone: +49 (0)681 / 302-5626

Dominik Kirst, Sat Jul 1 11:23:24 2017