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

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


Fabian Kunze, Mon Oct 2 10:40:06 2017