| Property |
Value |
| 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 « 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)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:citizenship
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2834 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1978 (xsd:integer)
- 1982 (xsd:integer)
- 1986 (xsd:integer)
|
| prop-fr:auteur
|
- C. D. Eichenlaub (fr)
- M. J. O'Donnel (fr)
- PRL Group (fr)
- Robert L. Constable (fr)
- S. D. Johnson (fr)
- C. D. Eichenlaub (fr)
- M. J. O'Donnel (fr)
- PRL Group (fr)
- Robert L. Constable (fr)
- S. D. Johnson (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science (fr)
- Lecture Notes in Computer Science (fr)
|
| prop-fr:fr
| |
| prop-fr:intituléÉlève
|
- Étudiants (fr)
- Étudiants (fr)
|
| prop-fr:langue
| |
| prop-fr:lieu
|
- Engelwood Cliffs, NJ (fr)
- Engelwood Cliffs, NJ (fr)
|
| prop-fr:numéroDansCollection
| |
| prop-fr:titre
|
- A Programming Logic (fr)
- An Introduction to the PL/CV2 Programming Logic' (fr)
- Implementing Mathematics with the Nuprl Proof Development System (fr)
- A Programming Logic (fr)
- An Introduction to the PL/CV2 Programming Logic' (fr)
- Implementing Mathematics with the Nuprl Proof Development System (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| prop-fr:élève
|
- Ryan Stansifer, Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke, Robert Harper (fr)
- Ryan Stansifer, Steven Muchnick, Kurt Mehlhorn, Edmund M. Clarke, Robert Harper (fr)
|
| dct: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 « 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)
|
| rdfs:label
|
- Robert Lee Constable (en)
- Robert Lee Constable (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:influenced
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:étudiantsThèse
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
