Benjamin Böhm

Graduate Student, Friedrich-Schiller University of Jena

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

Extended Reunion: Satisfiability, Spring 2023, Visiting Graduate Student
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Graduate Student