| Property |
Value |
| dbo:abstract
|
- David Lansing Dill (né le 8 janvier 1957) est un informaticien et professeur américain connu pour des contributions à la vérification formelle, au vote électronique, et l'informatique de la biologie des systèmes. Il est professeur émérite sur la chair Donald Knuth à la School of Engineering et professeur émérite d'informatique à l'université Stanford. (fr)
- David Lansing Dill (né le 8 janvier 1957) est un informaticien et professeur américain connu pour des contributions à la vérification formelle, au vote électronique, et l'informatique de la biologie des systèmes. Il est professeur émérite sur la chair Donald Knuth à la School of Engineering et professeur émérite d'informatique à l'université Stanford. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:isPartOf
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 11679 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:fr
|
- Commission on Federal Election Reform (fr)
- Concolic testing (fr)
- Design Automation Conference (fr)
- Kurt Gödel Society (fr)
- Lou Dobbs Tonight (fr)
- Presidential Young Investigator (fr)
- Stanford University School of Engineering (fr)
- trace de vote vérifiable sur papier (fr)
- ACM Special Interest Group for Logic and Computation (fr)
- Commission on Federal Election Reform (fr)
- Concolic testing (fr)
- Design Automation Conference (fr)
- Kurt Gödel Society (fr)
- Lou Dobbs Tonight (fr)
- Presidential Young Investigator (fr)
- Stanford University School of Engineering (fr)
- trace de vote vérifiable sur papier (fr)
- ACM Special Interest Group for Logic and Computation (fr)
|
| prop-fr:langue
| |
| prop-fr:texte
|
- Commission on Federal Election Reform (fr)
- Design Automation Conference (fr)
- Kurt Gödel Society (fr)
- Lou Dobbs Tonight (fr)
- ACM Special Interest Group for Logic and Computation (fr)
- Commission on Federal Election Reform (fr)
- Design Automation Conference (fr)
- Kurt Gödel Society (fr)
- Lou Dobbs Tonight (fr)
- ACM Special Interest Group for Logic and Computation (fr)
|
| prop-fr:trad
|
- ACM SIGLOG (fr)
- Commission on Federal Election Reform (fr)
- Design Automation Conference (fr)
- Kurt Gödel Society (fr)
- Lou Dobbs Tonight (fr)
- Voter-verified paper audit trail (fr)
- ACM SIGLOG (fr)
- Commission on Federal Election Reform (fr)
- Design Automation Conference (fr)
- Kurt Gödel Society (fr)
- Lou Dobbs Tonight (fr)
- Voter-verified paper audit trail (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:wikidata
|
- Q41187382 (fr)
- Q41187382 (fr)
|
| prop-fr:élève
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- David Lansing Dill (né le 8 janvier 1957) est un informaticien et professeur américain connu pour des contributions à la vérification formelle, au vote électronique, et l'informatique de la biologie des systèmes. Il est professeur émérite sur la chair Donald Knuth à la School of Engineering et professeur émérite d'informatique à l'université Stanford. (fr)
- David Lansing Dill (né le 8 janvier 1957) est un informaticien et professeur américain connu pour des contributions à la vérification formelle, au vote électronique, et l'informatique de la biologie des systèmes. Il est professeur émérite sur la chair Donald Knuth à la School of Engineering et professeur émérite d'informatique à l'université Stanford. (fr)
|
| rdfs:label
|
- David L. Dill (fr)
- David L. Dill (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
