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.