Tim Hoffmann

Tim Hoffmann Tim Hoffmann Image: Tim Hoffmann

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

E-Mail: hoffmann.t@uni-jena.de

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

Short Biography

I started studying mathematics at the University of Jena in 2016.
In 2019, I graduated with a Bachelor's degree and will hopefully receive my Master's degree in early 2022.
After that I will work as a PhD student in the field of Theoretical Computer Science.

Research Interests

Currently, my main research areas are proof complexity, especially for Quantified Boolean Formulas (QBFs), and communication complexity.