Robert Lee Constable
![une illustration sous licence libre serait bienvenue](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png)
Formation | |
---|---|
Activités | Informaticien, professeur d'université ![]() |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | Stephen Cole Kleene ![]() |
Étudiants | Ryan Stansifer, Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke, Robert Harper |
Distinctions | ACM Fellow () Prix Herbrand () Bourse Guggenheim ![]() |
modifier - modifier le code - modifier Wikidata
Robert « Bob » Lee Constable (né le 10 janvier 1942 à Détroit (Michigan)[1]) 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 (en).
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[2]. 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[3].
Sélection de publications
- 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érences
- ↑ Informations biographiques du American Men & Women of Science 22e édition.
- ↑ (en) « Robert Lee Constable », sur le site du Mathematics Genealogy Project
- ↑ « Robert L. Constable » sur l’université Cornell.
Liens externes
- Page d'accueil au Département d'Informatique et des Sciences de l'Information de l'Université de Cornell.
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- ResearchGate
- Notices d'autorité
:
- VIAF
- ISNI
- IdRef
- LCCN
- Pays-Bas
- Israël
- NUKAT
- WorldCat
Portail de l’informatique
Portail de l'informatique théorique