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