Couvre le travail de l'instructeur sur la conception, la construction, la mise à l'échelle et assurer la robustesse des systèmes d'exploitation au cours de leur doctorat.
Explore les aspects pratiques de la résolution des jeux de parité, y compris les stratégies gagnantes, les algorithmes, la complexité, le déterminisme et les approches heuristiques.