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


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, Fri Mar 10 12:07:38 2017