Je m'intéresse à la formalisation des
mathématiques, aux systèmes de traitement des
démonstrations, à la physique du
calcul, à la sûreté des systèmes
aéronautiques et spatiaux, et à l'épistémologie et à
l'éthique de l'informatique. Voici la liste de
mes articles scientifiques,
quelques
livres et articles philosophiques.
Je participe à l'enseignement de
Logique en troisième
année de Licence. Ce cours est en classe inversée, les
vidéos sont ici. Je participe
à l'enseignement de préparation à l'Agrégation de
mathématiques. J'enseigne le cours
Fondements des systèmes de preuve au MPRI,
voici son polycopié Proofs in theories.
Voici les
vidéos de dix cours de 1h30 chacun
consacrés aux principes des langages de programmation
que j'ai donné à
l'École polytechnique.
Certaines de mes notes de cours sont publiées en livre d'autres sont en
ligne.
Je m'intéresse aux questions d'éducation, j'essaie en
particulier d'attirer l'attention des pouvoirs publics sur la
nécessité d'enseigner l'informatique
à l'école, au collège et au lycée.
J'ai été membre du Groupe d'Experts constitué par
le Ministre de l'Éducation Nationale pour proposer les
programmes de la la spécialité Informatique et sciences
du numérique en terminale S, ce qui a abouti au
programme
publié au Bulletin officiel le 13 octobre 2011.
J'ai participé à la rédaction du
rapport de l'Académie des Sciences
L'enseignement
de l'informatique - Il est urgent de ne plus attendre.
J'ai aussi été consultant pour le
National Institute of Aerospace,
qui est un laboratoire du centre de recherche de la
NASA à
Langley.
J'ai, en particulier, participé au développement
et à la preuve de
ACCoRD,
un système de détection et de résolution de conflits
aériens.