http://dbpedia.org/ontology/abstract
|
David Lansing Dill (born January 8, 1957) … 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.f Computer Science at Stanford University.
, David Lansing Dill (né le 8 janvier 1957) … 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.te d'informatique à l'université Stanford.
|
http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
|
http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Computer_Aided_Verification +
, http://dbpedia.org/resource/EFF_Pioneer_Award +
, http://dbpedia.org/resource/ACM_SIGLOG +
|
http://dbpedia.org/ontology/birthDate
|
"1957-01-08"^^xsd:date
|
http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Edmund_M._Clarke +
|
http://dbpedia.org/ontology/nationality
|
http://dbpedia.org/resource/United_States +
|
http://dbpedia.org/ontology/notableStudent
|
http://dbpedia.org/resource/Rajeev_Alur +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://scholar.google.com/citations%3Fuser=uy8T6BYAAAAJ&hl=en +
, http://verify.stanford.edu/dill +
, https://web.archive.org/web/20170917133641/http:/verify.stanford.edu/dill +
|
http://dbpedia.org/ontology/wikiPageID
|
55211800
|
http://dbpedia.org/ontology/wikiPageLength
|
11533
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1116124621
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Satisfiability_modulo_theories +
, http://dbpedia.org/resource/Computer_hardware +
, http://dbpedia.org/resource/MIT_Press +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Jim_Lehrer +
, http://dbpedia.org/resource/Presidential_Young_Investigator +
, http://dbpedia.org/resource/Logic_in_Computer_Science +
, http://dbpedia.org/resource/Verification_and_validation +
, http://dbpedia.org/resource/LocusPoint_Networks%2C_LLC. +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Cambridge%2C_Massachusetts +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/National_Academy_of_Engineering +
, http://dbpedia.org/resource/Institute_of_Electrical_and_Electronics_Engineers +
, http://dbpedia.org/resource/Electronic_voting +
, http://dbpedia.org/resource/Lou_Dobbs_Tonight +
, http://dbpedia.org/resource/EFF_Pioneer_Award +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Automatic_theorem_proving +
, http://dbpedia.org/resource/Mentor_Graphics +
, http://dbpedia.org/resource/Carnegie-Mellon_University +
, http://dbpedia.org/resource/Design_Automation_Conference +
, http://dbpedia.org/resource/European_Association_for_Theoretical_Computer_Science +
, http://dbpedia.org/resource/Asynchronous_circuit +
, http://dbpedia.org/resource/Computer_Aided_Verification +
, http://dbpedia.org/resource/United_States_Senate +
, http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Stanford%2C_California +
, http://dbpedia.org/resource/Edmund_M._Clarke +
, http://dbpedia.org/resource/American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/List_of_SMT_solvers +
, http://dbpedia.org/resource/Google_Scholar +
, http://dbpedia.org/resource/CVC_theorem_prover +
, http://dbpedia.org/resource/Category:Carnegie_Mellon_University_alumni +
, http://dbpedia.org/resource/Pittsburgh%2C_Pennsylvania +
, http://dbpedia.org/resource/Real-time_systems +
, http://dbpedia.org/resource/Timed_automaton +
, http://dbpedia.org/resource/ACM_SIGLOG +
, http://dbpedia.org/resource/Software_testing +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Microprocessor +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/Computational_systems_biology +
, http://dbpedia.org/resource/Rajeev_Alur +
, http://dbpedia.org/resource/Concolic_testing +
, http://dbpedia.org/resource/Kurt_G%C3%B6del_Society +
, http://dbpedia.org/resource/Category:MIT_School_of_Engineering_alumni +
, http://dbpedia.org/resource/Category:1957_births +
, http://dbpedia.org/resource/Electrical_Engineering +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/European_Association_for_Computer_Science_Logic +
, http://dbpedia.org/resource/James_Baker +
, http://dbpedia.org/resource/Jimmy_Carter +
, http://dbpedia.org/resource/Category:Stanford_University_faculty +
, http://dbpedia.org/resource/Master_of_Science +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Academic +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Commission_on_Federal_Election_Reform +
, http://dbpedia.org/resource/Fellow +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Stanford_University_School_of_Engineering +
, http://dbpedia.org/resource/Donald_E._Knuth +
, http://dbpedia.org/resource/Voter-verified_paper_audit_trail +
, http://dbpedia.org/resource/Bachelor_of_Science +
, http://dbpedia.org/resource/Software +
, http://dbpedia.org/resource/Stanford_University +
|
http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
|
http://dbpedia.org/property/awards
|
CAV Award
, EFF Pioneer Award
, Alonzo Church Award
|
http://dbpedia.org/property/birthDate
|
"1957-01-08"^^xsd:date
|
http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Edmund_M._Clarke +
|
http://dbpedia.org/property/name
|
David L. Dill
|
http://dbpedia.org/property/notableStudents
|
http://dbpedia.org/resource/Rajeev_Alur +
|
http://dbpedia.org/property/website
|
http://verify.stanford.edu/dill +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:USA +
, http://dbpedia.org/resource/Template:BLP_sources +
, http://dbpedia.org/resource/Template:MathGenealogy +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Short_description +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Stanford_University_faculty +
, http://dbpedia.org/resource/Category:MIT_School_of_Engineering_alumni +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Carnegie_Mellon_University_alumni +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:1957_births +
|
http://schema.org/sameAs
|
http://viaf.org/viaf/93678261 +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/David_L._Dill?oldid=1116124621&ns=0 +
|
http://xmlns.com/foaf/0.1/homepage
|
http://verify.stanford.edu/dill +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/David_L._Dill +
|
http://xmlns.com/foaf/0.1/name
|
David L. Dill
|
owl:sameAs |
http://fr.dbpedia.org/resource/David_L._Dill +
, http://dbpedia.org/resource/David_L._Dill +
, https://dblp.org/pid/d/DavidLDill +
, http://viaf.org/viaf/93678261 +
, http://www.wikidata.org/entity/Q41187382 +
, http://data.bibliotheken.nl/id/thes/p075120291 +
, https://global.dbpedia.org/id/3oQCW +
|
rdf:type |
http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q5 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/ontology/Person +
, http://schema.org/Person +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Species +
, http://www.wikidata.org/entity/Q901 +
, http://xmlns.com/foaf/0.1/Person +
|
rdfs:comment |
David Lansing Dill (born January 8, 1957) … 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.f Computer Science at Stanford University.
, David Lansing Dill (né le 8 janvier 1957) … 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.te d'informatique à l'université Stanford.
|
rdfs:label |
David L. Dill
|