This is the homepage of Florian Steinberg

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

Software:

Events of interest:

The annual conferences CCA, CCC and LICS.

Travel plans:

Publications:

Preprints:

Invited talks:

When I am not at the office:

I am probably doing a research visit. Here is a list of my past ones: contact:
Team Tocatta
Bat 650, Rue Noetzlin,
91190 Gif-sur-Yvette, France
Phone: None I know of
Email: rf.airni@grebniets.nairolf
You can find me on github, bitbucket and researchgate.