Ada Lovelace
1815 – 1852
Biographie
Mathématicienne et informaticienne, développeuse de l'assistant de preuve Coq (Rocq).
Christine Paulin-Mohring contribue au développement de l'assistant de preuve Coq, rebaptisé Rocq, qui permet de démontrer mathématiquement qu'un programme est correct. Il a servi à vérifier un compilateur (CompCert) et le théorème des quatre couleurs.
Dans le même domaine
Alan Turing
1912 – 1954
Claude Shannon
1916 – 2001
John von Neumann
1903 – 1957
Konrad Zuse
1910 – 1995
Grace Hopper
1906 – 1992