Ouvrir le menu principal

Robert Lee Constable

informaticien américain

Robert « Bob » Lee Constable est professeur d'informatique à l'Université Cornell, aux États-Unis. Il a été le fondateur et le premier doyen du département d'informatique de cette université. Il est connu pour son travail sur la connexion entre programmes d'ordinateur et preuves mathématiques, en particulier système NuPR (en). Constable a obtenu son Ph. D. en 1968 sous la direction de Stephen Cole Kleene. Lui-même directeur de recherche prolifique, il a supervisé les thèses de doctorat de plus de 40 étudiants, parmi lesquels Ryan Stansifer, Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke ou Robert Harper[1]. Il est membre de l'Association for Computing Machinery.

Constable  a été l'un des directeurs de l'École d'été de Marktoberdorf[2].

Sélection de publicationsModifier

  • Robert L. Constable et M. J. O'Donnel, A Programming Logic, Cambridge University Press, .
  • Robert L. Constable, S. D. Johnson et C. D. Eichenlaub, An Introduction to the PL/CV2 Programming Logic', Springer-Verlag, coll. « Lecture Notes in Computer Science » (no 135),
  • PRL Group, Implementing Mathematics with the Nuprl Proof Development System, Engelwood Cliffs, NJ, Prentice-Hall, .

Notes et référencesModifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Robert Lee Constable » (voir la liste des auteurs).

Liens externesModifier