| dbo:abstract
|
- Robert « Bob » Lee Constable (né le 10 janvier 1942 à Détroit (Michigan)) 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 (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. 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. (fr)
- Robert Lee Constable (born 1942) is an American computer scientist. He is a professor of computer science and first and former dean of the Faculty of Computing and Information Science at Cornell University. He is known for his work on connecting computer programs and mathematical proofs, especially the Nuprl system. Prior to Nuprl, he worked on the PL/CV formal system and verifier. Alonzo Church was supervising the junior thesis of Robert while he was studying in Princeton. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students, including Edmund M. Clarke, Robert Harper, Kurt Mehlhorn, Steven Muchnick, Pavel Naumov, and Ryan Stansifer. He is a Fellow of the Association for Computing Machinery. Constable has been a director of the Marktoberdorf Summer School. (en)
|
| dbo:academicAdvisor
| |
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:birthName
|
- Robert Lee Constable (en)
|
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:knownFor
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4315 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:academicAdvisors
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthName
|
- Robert Lee Constable (en)
|
| dbp:citizenship
| |
| dbp:doctoralAdvisor
| |
| dbp:doctoralStudents
| |
| dbp:field
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workInstitution
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Robert « Bob » Lee Constable (né le 10 janvier 1942 à Détroit (Michigan)) 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 (en). Constable a été l'un des directeurs de l'École d'été de Marktoberdorf. (fr)
- Robert Lee Constable (born 1942) is an American computer scientist. He is a professor of computer science and first and former dean of the Faculty of Computing and Information Science at Cornell University. He is known for his work on connecting computer programs and mathematical proofs, especially the Nuprl system. Prior to Nuprl, he worked on the PL/CV formal system and verifier. Alonzo Church was supervising the junior thesis of Robert while he was studying in Princeton. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students, including Edmund M. Clarke, Robert Harper, Kurt Mehlhorn, Steven Muchnick, Pavel Naumov, and Ryan Stansifer. He is a Fellow of the Association for Computing Machinery. (en)
|
| rdfs:label
|
- Robert Lee Constable (fr)
- Robert L. Constable (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
