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.

News:

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:

Publications:

People I cooperated with:

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

Selected talks:

Invited:

Contributed:

Past conference visits:

Past research stays:

Memberships:

contact:
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.