Le projet SuperBoole a été lancé en 2007 par le Pr David pour améliorer la réussite des étudiants au cours Circuits logiques, donné dès la rentrée de la première année de baccalauréat. Il permet aux étudiants d'évaluer leur maîtrise de la matière et à obtenir une aide automatique en étant dirigés vers les notes de cours portant sur les sujets sur lesquels ils éprouvent des difficultés particulières. Le didacticiel permet également aux professeurs de mesurer hebdomadairement le degré de maîtrise de chaque étudiant et d'apporter rapidement au besoin une aide personnalisée.

L'interface a été conçue par le Pr David, avec la collaboration des étudiants Patrice Berger (développement Java), Paul Vital (interface Web en PHP) et Marc-André Daigneault (implantation des sujets reliés à la logique séquentielle). Tarek Ould Bachir a enrichi l'outil avec l'ajout du volet des notes de cours. 

Le projet a reçu deux subventions de Fonds de Soutien de l'Enseignement (FSE) de Polytechnique. D'après Sylvain Lefebvre, du Bureau d'appui pédagogique, le développement de ce type d'outils pédagogiques interactifs connaît un succès certain à Polytechnique depuis ces dernières années.

De g. à d. : Tarek Ould Bachir, Le Pr Jean-Pierre David et le Pr Yvon Savaria,
directeur du Département de génie électrique.