Explore l'analyse de jeux vidéo, couvrant les représentations, les structures ludiques, le code, et l'importance des narrations dans les études de jeux.
Explore la théorie et la pratique de la conception de jeux, les ressources en ligne, et la synergie entre la recherche scientifique et l'industrie du jeu vidéo.
Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.
