Tomáš Peitl is a postdoc at TU Wien in Austria, working on quantified Boolean formulas and Boolean satisfiability. Previously he was a postdoc with Olaf Beyersdorff at Friedrich Schiller University in Jena, and obtained his PhD from TU Wien under the supervision of Prof. Stefan Szeider.

---