
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
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Graduate Student.