Explorer la mise en oeuvre de la recherche, relever les défis dans la mise en oeuvre d'interventions en santé et élaborer des stratégies efficaces pour les maladies infectieuses de la pauvreté.
Introduit un algorithme amélioré pour les jeux de parité à trois couleurs, en mettant l'accent sur les mesures de progrès, l'accélération et la rapidité pratique.
Introduit la complexité computationnelle, les problèmes de décision, la complexité quantique et les algorithmes probabilistes, y compris les problèmes dures au NP et les problèmes complets au NP.
Couvre les défis dans le raisonnement précis de bits, y compris les résultats SMT-COMP, AIG, bit-blasting, Tseitin transformation, et les classes de complexité.
