Robert « Bob » Lee Constable (né le à Détroit (Michigan)Informations biographiques du American Men & Women of Science édition.) est professeur d'informatique à l'Université Cornell, aux États-Unis. Il est connu pour son travail sur la connexion entre programmes d'ordinateur et preuves mathématiques, en particulier système NuPR.
Constable a obtenu son Ph. D. en 1968 sous la direction de Stephen Cole Kleene. Il est d'abord instructeur en informatique à l'université du Wisconsin, puis professeur assistant et professeur associé à l'université Cornell (1968-1978) et depuis cette date professeur titulaire. Il a été le fondateur et le premier doyen du département d'informatique de cette université. 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. Il est membre de l'Association for Computing Machinery et de l'Association for Symbolic Logic. Il est lauréat du prix Herbrand de la Conference on Automated Deduction (CADE) en 2014.
Constable a été l'un des directeurs de l'École d'été de Marktoberdorf« Robert L. Constable » sur l’université Cornell..
Sélection de publications .
.
Notes et références
Liens externes Page d'accueil au Département d'Informatique et des Sciences de l'Information de l'Université de Cornell.
Catégorie:Personnalité américaine de l'informatique Catégorie:Professeur à l'université Cornell Catégorie:Boursier Guggenheim Catégorie:Étudiant de l'université du Wisconsin à Madison