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

I did my Bachelor's thesis and a Research Immersion Lab on verified complexity theory at this chair.

**A certifying extraction with time bounds from Coq to call-by-value λ-calculus** *(pdf)(slides)*

*Yannick Forster and Fabian Kunze*

ITP 2019, Portland, USA, 2019. Pre-print on arxiv.

**The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space** *(pdf)*

*Yannick Forster, Fabian Kunze, Marc Roth*

arxiv 1902.07515.

** Formal Small-step Verification of a Call-by-value Lambda Calculus Machine** *(pdf)*

*Fabian Kunze, Gert Smolka, Yannick Forster*

APLAS 2018, Wellington, New Zealand, 2018

**The strong invariance thesis for a lambda-calculus**

*Yannick Forster, Fabian Kunze, Marc Roth*

LOLA 2017, Reykjavik, Iceland, 2017.

**Verified Extraction from Coq to a Lambda-Calculus** *(pdf)* *(slides)*

d
*Yannick Forster and Fabian Kunze*

Coq Workshop 2016, ITP 2016, Nancy, 2016.

**Verified Compilation of Weak Call-by-Value Lambda-Calculus into Combinators and Closures** *(pdf)*

*Fabian Kunze*

Bachelor's Thesis, Programming Systems Lab, Saarland University, 2015.

Sommer 2018 | Organiser and Advisor Functional Programming Proseminar, Programming Systems Lab. |

Summer 2018 | Advisor and Lecturer Advanced Coq Programming Block course, Programming Systems Lab. |

Winter 2016/17 | Advisor Category Theory Seminar, Programming Systems Lab. |

Winter 2016/17 | Student TA Automated Reasoning 1 Core course, Automation of Logic. |

Summer 2016 | Coach and Organiser Mathematics Precourse Saarland University. |

Summer 2016 | Student TAIntroduction to System Architecture Basic course, Real-Time and Embedded Systems Lab. |

Summer 2015 | Coach and Organiser Mathematics Precourse Saarland University. |

Summer 2015 | Student TAIntroduction to Computational LogicCore course, Programming Systems Lab. |

Winter 2015/16 | Student TAIntroduction to Theoretical Computer ScienceBasic course, Computational Complexity. |

Summer 2014 | Student TALinear Algebra 2Basic course, Tropical Geometry Group. |

Winter 2013/14 | Student TALinear Algebra 1Basic course, Tropical Geometry Group. |

Winter 2013/14 | Student TAProgramming 1Basic course, Dependent Systems Group. |

Summer 2013 | Student TAMathematics Precourse Saarland University. |

Mail: | kunze at ps.uni-saarland.de |

Adress: | Saarland University, Saarland Informatics Campus E1 3, Rm 516 66123 Saarbrücken |

Phone: | +49 (0)681 / 302-5618 |