Theoretische Informatik 1

Prof. Dr. Olaf Beyersdorff

Olaf Beyersdorff
Image: Anne Günther (University of Jena)

Since 2018 I am Professor of Theoretical Computer Science at Friedrich Schiller University Jena. My research interests are in algorithms, complexity, computational logic, and in particular proof complexity.

Before coming to Jena I spent six years at the University of Leeds, as Professor of Computational Logic (2017-18), Associate Professor (2015-17), and Lecturer (2012-15). Since 2018 I am a visiting professor at the University of Leeds.

Before that I was a visiting professor (2011/12) and visiting researcher (2009/10) at Sapienza University Rome, Lecturer at Leibniz University Hanover (2007-12) and postdoc at Humboldt University Berlin (2006/07). I obtained my PhD from Humboldt University Berlin in 2006 and completed my habilitation at Leibniz University Hanover in 2011.


Friedrich Schiller University Jena
Institute of Computer Science
Ernst-Abbe-Platz 2
07743 Jena

E-Mail: olaf dot beyersdorff at uni-jena dot de

Tel.: +49 (0)3641 9-46320
Fax: +49 (0)3641 9-46322

Current and recent projects

GSO Logo
Image: Carl Zeiss Stiftung