Fabian Kunze

Saarland University Computer Science
Fabian Kunze

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.

Research

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.

Teaching

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 TA
Introduction to System Architecture
Basic course, Real-Time and Embedded Systems Lab.
Summer 2015 Coach and Organiser
Mathematics Precourse
Saarland University.
Summer 2015 Student TA
Introduction to Computational Logic
Core course, Programming Systems Lab.
Winter 2015/16 Student TA
Introduction to Theoretical Computer Science
Basic course, Computational Complexity.
Summer 2014 Student TA
Linear Algebra 2
Basic course, Tropical Geometry Group.
Winter 2013/14 Student TA
Linear Algebra 1
Basic course, Tropical Geometry Group.
Winter 2013/14 Student TA
Programming 1
Basic course, Dependent Systems Group.
Summer 2013 Student TA
Mathematics Precourse
Saarland University.

Contact

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


Legal notice, Privacy policy