Explore le réseau de coïncidences, les interfaces homophases, les frontières jumelles, les défauts d'empilement et la ségrégation aux frontières de domaine.
Couvre les concepts d'isolement et de protection dans les systèmes informatiques, en mettant l'accent sur la sécurité des processus et les techniques de gestion des ressources.
Explore l'exécution des processus, la protection et les mécanismes d'exploitation efficaces pour des environnements multi-programmes sécurisés et fiables.
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.
Couvre l'algorithme shor pour la détermination de la période et son application dans la factorisation, en discutant de la mise en oeuvre du circuit et des résultats de mesure.