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.

**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)*

*Yannick Forster and Fabian Kunze*

Coq Workshop 2016, ITP 2016, Nancy, 2016.

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 521 66123 Saarbrücken |