This is the homepage of Florian Steinberg

I am a postdoctoral researcher at INRIA in Sophia-Antipolis. 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:


Team Marelle
2004 Route des Lucioles, Building "Fermat", office "F117",
06902 Valbonne, France
Phone: +33 4 92 38 77 95
Email: rf.airni@grebniets.nairolf
You can find me on github, bitbucket and researchgate.