Benjamin Böhm

Graduate Student, Friedrich-Schiller University of Jena
Visiting Graduate Student
Dates of Visit: Jan. 12May 14, 2021

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