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.
Comments are closed.