Robert Lee Constable - Robert Lee Constable

Robert Lee Constable
narozený1942
Státní občanstvíSpojené státy
Alma materUniverzita Princeton, University of Wisconsin – Madison
Známý jakoNuprl
Vědecká kariéra
PolePočítačová věda
InstituceCornell University
Doktorský poradceStephen Kleene
Ostatní akademičtí poradciAlonzo Church
DoktorandiAllan Borodin
Edmund M. Clarke
Robert Harper
Kurt Mehlhorn
Steven Muchnick
Pavel Naumov

Robert Lee Constable (narozen 1952) je americký počítačový vědec. Je profesorem počítačová věda a první a bývalý děkan katedry v Cornell University, Spojené státy. On je známý pro jeho práci na propojení počítačových programů a matematické důkazy, zejména Nuprl Systém. Alonzo Church dohlížel na juniorskou tezi Roberta, zatímco studoval v Princetonu [1]. Constable získal doktorát v roce 1968 Stephen Kleene a dohlížel na více než 40 studentů, včetně Edmund M. Clarke, Robert Harper, Kurt Mehlhorn, Steven Muchnick, Pavel Naumov a Ryan Stansifer.[2] On je Člen sdružení pro výpočetní techniku.

Constable byl ředitelem Marktoberdorf Summer School.[3]

Vybrané publikace

  • R. L. Constable a M. J. O'Donnell. Programovací logika, Winthrop, Cambridge, 1978.
  • R. L. Constable, S. D. Johnson a C. D. Eichenlaub. Úvod do programovací logiky PL / CV2. v Přednášky z informatiky 135, Springer-Verlag, 1982
  • PRL Group. Implementace matematiky se systémem vývoje důkazů Nuprl. Prentice-Hall, Engelwood Cliffs, NJ, 1986.

Reference

  1. ^ „Rozhovor s Robertem L. Constableem“. Digitální úložiště Cornell University. Citováno 29. září 2019.
  2. ^ „Robert Lee Constable“. Matematický genealogický projekt. Citováno 2. září 2015.
  3. ^ „Robert L. Constable“. Cornell University. 1997. Citováno 2. září 2015.

externí odkazy