Olaf Beyersdorff

Full Professor, Institute of Computer Science, Friedrich-Schiller Universität Jena
Joined
July 2019

Names

Olaf Beyersdorff

Emails

****@uni-jena.de (Confirmed)

Personal Links

Career & Education History

Full Professor
Institute of Computer Science, Friedrich-Schiller Universität Jena (uni-jena.de)
2018 – Present

Advisors, Relations & Conflicts

Coauthor
Meena Mahajan
Present
PhD Advisee
Leroy Chew
2013 – 2017
PhD Advisor
Johannes Köbler
2000 – 2006

Expertise

proof complexity
Present
SAT
Present
QBF
Present
model counting
Present
computational complexity
Present

Publications

Co-Authors