This is the homepage of Florian Steinberg

I am a postdoctoral researcher at Technische Universität Darmstadt. My PhD project was supervised by Prof. Dr. Martin Ziegler, Prof. Akitoshi Kawamura and Prof. Dr. Ulrich Kohlenbach and funded by the IRTG 1529.


Research interests:

Events of interest:

I am co-organizer of the "Doktorandentreff", a biweekly meeting of the PhD students of logic at the Technische Universität Darmstadt. If you want further information about this meeting feel free to contact me.

travel plans:


People I cooperated with:

People whose work I am interested in (list evidentely incomplete):

Selected talks:



Past conference visits:

Past research stays:


Mathematik AG1,
Technische Universität Darmstadt
Schloßgartenstr. 7, S2|15 Raum 203
D-64289 Darmstadt
Phone: +49-6151-16-22865
Email: ed.tdatsmrad-ut.kitamehtam@grebniets
You can find me on github, bitbucket and researchgate.