Couvre le calcul quantique et le nanocalcul, en se concentrant sur les molécules en tant qu'éléments conducteurs, transistors moléculaires et éléments de couplage de champ.
Introduit Iris, un cadre logique pour raisonner sur la sécurité et l'exactitude des programmes impératifs d'ordre supérieur simultanés, en mettant l'accent sur ses caractéristiques et applications uniques.
Examine les défis et les avantages de la vérification des compilateurs, en soulignant l'importance de la vérification des compilateurs pour les logiciels critiques.
