Benjamin Böhm

Graduate Student, Friedrich-Schiller University of Jena
Visiting Graduate Student

Benjamin Böhm is a PhD student at University of Jena, supervised by Olaf Beyersdorff. Prior to that, he obtained a Bachelor and Master of Science in Mathematics at University of Jena. His main research interests are proof complexity, focused on QBF solving and QCDCL, and algebraic proof systems.

Program Visits

Visiting Graduate Student
Visiting Graduate Student