| 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 |
dbr:Massachusetts_Institute_of_Technology |
| dbo:award |
dbr:EFF_Pioneer_Award dbr:Computer_Aided_Verification dbr:ACM_SIGLOG |
| dbo:birthDate |
1957-01-08 (xsd:date) |
| dbo:doctoralAdvisor |
dbr:Edmund_M._Clarke |
| dbo:nationality |
dbr:United_States |
| dbo:notableStudent |
dbr:Rajeev_Alur |
| dbo:wikiPageExternalLink |
http://verify.stanford.edu/dill https://scholar.google.com/citations%3Fuser=uy8T6BYAAAAJ&hl=en https://web.archive.org/web/20170917133641/http:/verify.stanford.edu/dill |
| dbo:wikiPageID |
55211800 (xsd:integer) |
| dbo:wikiPageLength |
11533 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1116124621 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Cambridge,_Massachusetts dbr:Electronic_voting dbr:Stanford_University_School_of_Engineering dbr:European_Association_for_Computer_Science_Logic dbr:Design_Automation_Conference dbr:United_States_Senate dbr:EFF_Pioneer_Award dbr:Kurt_Gödel_Society dbr:Rajeev_Alur dbc:Living_people dbr:Computer_Science dbr:Massachusetts_Institute_of_Technology dbr:Master_of_Science dbr:Mentor_Graphics dbr:Electrical_Engineering dbr:Google_Scholar dbr:Model_checking dbr:Concolic_testing dbr:Voter-verified_paper_audit_trail dbr:Pittsburgh,_Pennsylvania dbr:Lou_Dobbs_Tonight dbr:MIT_Press dbr:Stanford,_California dbr:Stanford_University dbr:Commission_on_Federal_Election_Reform dbr:Computer_Aided_Verification dbr:Computer_hardware dbr:Computer_scientist dbr:Fellow dbr:Bachelor_of_Science dbc:1957_births dbc:American_computer_scientists dbc:Carnegie_Mellon_University_alumni dbc:Fellow_Members_of_the_IEEE dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences dbc:Members_of_the_United_States_National_Academy_of_Engineering dbc:Stanford_University_faculty dbr:Doctor_of_Philosophy dbr:American_Academy_of_Arts_and_Sciences dbr:Edmund_M._Clarke dbr:Formal_verification dbr:Academic dbr:James_Baker dbr:Association_for_Computing_Machinery dbr:Asynchronous_circuit dbr:ACM_SIGLOG dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:MIT_School_of_Engineering_alumni dbc:Formal_methods_people dbr:Jim_Lehrer dbr:Jimmy_Carter dbr:Donald_E._Knuth dbr:Automata_theory dbr:Software_testing dbr:Institute_of_Electrical_and_Electronics_Engineers dbr:Microprocessor dbr:National_Academy_of_Engineering dbr:Real-time_systems dbr:CVC_theorem_prover dbr:Satisfiability_modulo_theories dbr:Software dbr:Verification_and_validation dbr:European_Association_for_Theoretical_Computer_Science dbr:Automatic_theorem_proving dbr:Timed_automaton dbr:Carnegie-Mellon_University dbr:List_of_SMT_solvers dbr:Computational_systems_biology dbr:Logic_in_Computer_Science dbr:Presidential_Young_Investigator dbr:LocusPoint_Networks,_LLC. |
| dbp:almaMater |
dbr:Massachusetts_Institute_of_Technology |
| dbp:awards |
(en) Alonzo Church Award (en) CAV Award (en) EFF Pioneer Award (en) |
| dbp:birthDate |
1957-01-08 (xsd:date) |
| dbp:doctoralAdvisor |
dbr:Edmund_M._Clarke |
| dbp:name |
David L. Dill (en) |
| dbp:notableStudents |
dbr:Rajeev_Alur |
| dbp:website |
http://verify.stanford.edu/dill |
| dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:BLP_sources dbt:Reflist dbt:Short_description dbt:USA dbt:Birth_date_and_age dbt:MathGenealogy dbt:Infobox_scientist |
| dct:subject |
dbc:Living_people dbc:1957_births dbc:American_computer_scientists dbc:Carnegie_Mellon_University_alumni dbc:Fellow_Members_of_the_IEEE dbc:Fellows_of_the_American_Academy_of_Arts_and_Sciences dbc:Members_of_the_United_States_National_Academy_of_Engineering dbc:Stanford_University_faculty dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:MIT_School_of_Engineering_alumni dbc:Formal_methods_people |
| schema:sameAs |
http://viaf.org/viaf/93678261 |
| rdf:type |
owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person wikidata:Q901 |
| 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 |
http://viaf.org/viaf/93678261 https://dblp.org/pid/d/DavidLDill wikidata:David L. Dill http://data.bibliotheken.nl/id/thes/p075120291 dbpedia-fr:David L. Dill https://global.dbpedia.org/id/3oQCW |
| prov:wasDerivedFrom |
wikipedia-en:David_L._Dill?oldid=1116124621&ns=0 |
| foaf:homepage |
http://verify.stanford.edu/dill |
| foaf:isPrimaryTopicOf |
wikipedia-en:David_L._Dill |
| foaf:name |
David L. Dill (en) |
| is dbo:doctoralStudent of |
dbr:Edmund_M._Clarke |
| is dbo:wikiPageWikiLink of |
dbr:List_of_fellows_of_the_Association_for_Computing_Machinery dbr:EFF_Pioneer_Award dbr:Rajeev_Alur dbr:Symposium_on_Logic_in_Computer_Science dbr:David_Dill dbr:List_of_American_Academy_of_Arts_and_Sciences_members_(2006–2019) dbr:Edmund_M._Clarke dbr:List_of_people_named_David dbr:ACM_Doctoral_Dissertation_Award dbr:ACM_SIGLOG dbr:Verified_Voting_Foundation |
| is foaf:primaryTopic of |
wikipedia-en:David_L._Dill |
