S'insère dans la théorie de la complexité, en se concentrant sur le problème P vs NP et la classification des problèmes informatiques en fonction de l'efficacité.
Explore la cryptanalyse dans les systèmes à clé publique et la puissance de l'interaction dans les preuves interactives, couvrant le CO-NP, les classes NP, P vs. NP, et plus encore.
Explore la décomposition dans la programmation en évaluant les expressions et en ajoutant de nouvelles formes, en mettant l'accent sur les solutions orientées objet et les compromis impliqués.
