Benjamin Böhm is a PhD student at Friedrich Schiller University Jena under the supervision of Olaf Beyersdorff. His research is focused on proof complexity, in particular of quantified Boolean formulas.

---