Kathrin Stark

Saarland University Computer Science

About me

I am a PhD student of the Saarbrücken Graduate School of Computer Science and the Programming Systems Lab.
I received my BA in Computer Science from Saarland University in 2014 and a M.Phil in Advanced Computer Science from the University of Cambridge in 2015.

I am interested in supporting binders in general-purpose proof assistants.
We are in the process of developing the Autosubst 2 tool which generates binder boilerplate for mutually inductive syntax.


Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions (pdf)
Kathrin Stark, Steven Schäfer, Jonas Kaiser
CPP 2019, Cascais, Portugal, 2019.

Call-By-Push-Value in Coq: Operational, Equational and Denotational Theory (pdf)
Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark
CPP 2019, Cascais, Portugal, 2019.

Embedding Higher-Order Abstract Syntax in Type Theory (pdf)
Steven Schäfer, Kathrin Stark
24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, 2018.

Binder-Aware Recursion over Well-Scoped de Bruijn Syntax (pdf)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
CPP 2018, Los Angeles, USA, 2018.

Autosubst 2: Towards Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions (pdf)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
LFMTP 2017, Oxford, UK, 2017.

Finite Sets in Constructive Type Theory (pdf)
Gert Smolka, Kathrin Stark
ITP 2016, Nancy, France, 2016.


Research Essay for the Master: Towards a Compuational Interpretation of Homotopy Type Theory (Advisor: Prof. Timothy G. Griffin)

Bachelor Thesis: Quantitative Recursion-Free Process Axiomatization in Coq (Advisor: Prof. Dr. Holger Hermanns)

Supervised Students

Sarah Mameche, 2018, Bachelor's thesis (ongoing)
Autosubst: Automation for de Bruijn substitutions in Lean


Summer 2018 Lecturer and Advisor
Advanced Coq Programming
Block course, Programming Systems Lab.
Summer 2018 Advisor
Proseminar: Funktionale Programmierung
Seminar, Programming Systems Lab.


Kathrin Stark
Saarland University
Saarland Informatics Campus E1 3, 516
66123 Saarbrücken

Phone: + 49 (0) 681 302-5618
E-Mail: kstark@ps.uni-saarland.de