Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Handling Network DataExplores handling network data, including types of graphs, real-world network properties, and node importance measurement.
Robust and Scalable SystemsCovers the instructor's work on designing, building, scaling, and ensuring the robustness of operating systems during their PhD.