Benjamin Böhm


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

email: benjamin dot boehm at uni-jena dot de

tel: +49 (0)3641 946325
fax: +49 (0)3641 946322

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 here.