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.
