This is the homepage of Florian Steinberg

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:

Software:

Events of interest:

The annual conferences CCA, CCC and LICS.

Publications:

Preprints:

Invited talks:

Contact:
Phone: No.
Email: moc.liamg@grebnietsf
You can find me on GitHub, Bitbucket and ResearchGate.