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.
S'inscrit dans l'histoire du logement urbain en Europe, en mettant l'accent sur l'impact du logement collectif sur le caractère urbain et l'évolution des typologies du logement.