Luc Spachmann

Luc Spachmann Luc Spachmann Image: Luc Spachmann

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


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

Short Biography

I studied mathematics with a minor in Computer Sciences at the FSU Jena from 2016 to 2021, finished with a Bachelor’s and a Master’s degree.

Since October 2021 I am working as a PhD student in theoretical Computer Sciences.

Research Interests

The main focus of my studies is currently proof complexity for QBFs, especially with Polynomial Calculus.