Dominik Scheder completed his PhD at ETH Zürich with a dissertation on Boolean satisfiability. In 2011 he moved to Aarhus in Denmark, joining the theory group of Peter Bro Miltersen as a postdoc. One of the many exciting things about his position includes a close collaboration with Andy Yao's Institute for Interdisciplinary Information Sciences at Tsinghua University in Beijing.