Tim Hoffmann

Tim Hoffmann

Image: Tim Hoffmann


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

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 received my Master's degree in 2022.
Since April 2022, I have been working as a PhD student in the field of Theoretical Computer Science.

Research Interests

Currently, my main research area is proof complexity for model counting.
I'm also interested in proof complexity for quantified Boolean formulas (QBFs), and communication complexity.

My Papers

A list of my published papers can be found at https://orcid.org/0009-0006-9734-9912External link.