New PhD: Tomáš Peitl

Tomáš Peitl successfully defended his PhD thesis “Advanced Dependency Analysis for QBF” on October 14, 2019. Congratulations!

Tomáš was was supervised by Stefan Szeider and co-supervised by Friedrich Slivovsky.

In November, he will start with his FWF Erwin Schrödinger scholarship a postdoc position at the Friedrich Schiller Universität Jena.