[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

About: David L. Dill

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology. In 2013, Dill was elected as a member into the National Academy of Engineering for the development of techniques to verify hardware, software, and electronic voting systems. He is the Donald E. Knuth Professor, Emeritus, in the School of Engineering and Professor, Emeritus, of Computer Science at Stanford University.

Property Value
dbo:abstract
  • David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology. In 2013, Dill was elected as a member into the National Academy of Engineering for the development of techniques to verify hardware, software, and electronic voting systems. He is the Donald E. Knuth Professor, Emeritus, in the School of Engineering and Professor, Emeritus, of Computer Science at Stanford University. (en)
  • 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:birthDate
  • 1957-01-08 (xsd:date)
dbo:doctoralAdvisor
dbo:nationality
dbo:notableStudent
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 55211800 (xsd:integer)
dbo:wikiPageLength
  • 11533 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1116124621 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:awards
  • (en)
  • Alonzo Church Award (en)
  • CAV Award (en)
  • EFF Pioneer Award (en)
dbp:birthDate
  • 1957-01-08 (xsd:date)
dbp:doctoralAdvisor
dbp:name
  • David L. Dill (en)
dbp:notableStudents
dbp:website
dbp:wikiPageUsesTemplate
dcterms:subject
schema:sameAs
rdf:type
rdfs:comment
  • David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology. In 2013, Dill was elected as a member into the National Academy of Engineering for the development of techniques to verify hardware, software, and electronic voting systems. He is the Donald E. Knuth Professor, Emeritus, in the School of Engineering and Professor, Emeritus, of Computer Science at Stanford University. (en)
  • 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 (en)
  • David L. Dill (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • David L. Dill (en)
is dbo:doctoralStudent of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License