Theoretische Informatik I

BeyersdorffProf. Dr. Olaf Beyersdorff

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.

 

 

 

 

GSO_Logo_Zeiss_Web_RZ

Current and recent projects

 

Upcoming Workshop: 25. Jahrestagung der Fachgruppe "Logik in der Informatik"

The 25th annual meeting of the GI-Fachgruppe "Logik in der Informatik" will take place at the 21st und 22nd of October 2019 in Jena.
For more information just follow this link.

 

Activities