Benjamin Böhm

Graduate Student, Friedrich-Schiller University of Jena

Visiting Graduate Student

Program: Extended Reunion: Satisfiability

Dates of Visit: Mar. 13–May 12, 2023

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.