Benjamin Böhm

Benjamin Böhm
Benjamin Böhm
Image: Benjamin Böhm

Friedrich Schiller University Jena
Institute of Computer Science
Ernst-Abbe-Platz 2
Room: 3326
07743 Jena


Tel.: +49 (0)3641 9-46325
Fax: +49 (0)3641 9-46322

Short Biography

I started studying Mathematics at the University of Jena in 2014 and obtained a BSc in 2017.
After that, I continued with a MSc programme in Mathematics at the University of Jena, which I completed 2019.
Since 2019 I am working as a PhD student in Theoretical Computer Science at the University of Jena.

Research Interests

My main research interests are proof complexity, focused on QBF solving and QCDCL, and algebraic proof systems.
In a wider sense I am also intrigued by Cryptology and Coding Theory.

List of downloadable Papers

A list of my publications is to be found hereExternal link.