![](/sites/default/files/styles/post_card_lg_2x/public/bohm_pic_.png.jpg?itok=uGcD6iU2)
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.