Luc Spachmann
Luc Spachmann
Image: Luc Spachmann
Address:
Friedrich Schiller University Jena
Institute of Computer Science
Inselplatz 5
Room: 3055
07743 Jena
Germany
E-Mail: luc.spachmann@uni-jena.de
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.