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

 

Workshop

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

 

Activities