Benjamin Böhm

Graduate Student, Friedrich-Schiller University of Jena

Visiting Graduate Student

Program: Satisfiability: Theory, Practice, and Beyond

Dates of Visit: Jan. 12 – May 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

Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Graduate Student.