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.
- Real Analysis in Computer Science, Fall 2013. Research Fellow (joint with Tsinghua University).