New PhD: Friedrich Slivovsky

Friedrich Slivovsky successfully defended his PhD thesis "Structure in #SAT and QBF" on May 5th, 2015. Congratulations!

Friedrich, who conducted his PhD studies under the advise of Stefan Szeider, is now working as a post-doc in the research project "Variable Dependencies of Quantified Boolean Formulas" (FWF P27721)