Les auteurs

Benjamin Wack

Benjamin Wack est docteur en informatique et professeur agrégé de mathématiques à l’université Joseph Fourier de Grenoble.

Jean-Christophe Filliâtre

Chercheur au CNRS en poste au LRI (université Paris-Sud), Jean-Christophe Filliâtre enseigne l’informatique à l’École Polytechnique et à l’École normale supérieure.

Sylvain Conchon

Enseignant-chercheur au LRI (université Paris-Sud), Sylvain Conchon enseigne la programmation et la compilation à l’université Paris-Sud.

Judicaël Courant

Docteur en informatique, Judicaël Courant enseigne les mathématiques en MPSI au lycée La Martinière-Monplaisir à Lyon.

Marc de Falco

Docteur en informatique, Marc de Falco est professeur en MPSI au lycée international de Valbonne dans une classe pilote en partenariat avec l’Inria.

Gilles Dowek

Gilles Dowek est chercheur à l’Institut National de Recherche en Informatique et en Automatique. Ses travaux portent sur la formalisation des mathématiques et sur la mécanisation du raisonnement. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.

Stéphane Gonnord

Stéphane Gonnord enseigne en classe de MP au lycée du Parc à Lyon.

Outils et bibliothèques
Errata : correction d’un texte publié