http://dbpedia.org/ontology/abstract
|
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://fr.dbpedia.org/resource/Massachusetts_Institute_of_Technology +
, http://fr.dbpedia.org/resource/Universit%C3%A9_Carnegie-Mellon +
|
http://dbpedia.org/ontology/award
|
http://www.wikidata.org/entity/Q18748039 +
, http://www.wikidata.org/entity/Q111734 +
, http://www.wikidata.org/entity/Q52382875 +
, http://fr.dbpedia.org/resource/EFF_Pioneer_Award +
|
http://dbpedia.org/ontology/discipline
|
http://fr.dbpedia.org/resource/Informatique +
|
http://dbpedia.org/ontology/doctoralAdvisor
|
http://fr.dbpedia.org/resource/Edmund_M._Clarke +
|
http://dbpedia.org/ontology/doctoralStudent
|
http://www.wikidata.org/entity/Q102250077 +
, http://www.wikidata.org/entity/Q102250160 +
, http://www.wikidata.org/entity/Q102110709 +
, http://www.wikidata.org/entity/Q102250638 +
, http://www.wikidata.org/entity/Q102250605 +
, http://www.wikidata.org/entity/Q102255852 +
, http://www.wikidata.org/entity/Q102250624 +
, http://www.wikidata.org/entity/Q102250697 +
, http://www.wikidata.org/entity/Q102250684 +
, http://www.wikidata.org/entity/Q102250826 +
, http://www.wikidata.org/entity/Q102344555 +
, http://www.wikidata.org/entity/Q102112266 +
, http://www.wikidata.org/entity/Q102250269 +
, http://www.wikidata.org/entity/Q102250240 +
, http://www.wikidata.org/entity/Q102250373 +
, http://www.wikidata.org/entity/Q102262845 +
, http://www.wikidata.org/entity/Q102250591 +
|
http://dbpedia.org/ontology/employer
|
http://fr.dbpedia.org/resource/Universit%C3%A9_Stanford +
|
http://dbpedia.org/ontology/isPartOf
|
http://www.wikidata.org/entity/Q16900659 +
|
http://dbpedia.org/ontology/occupation
|
http://www.wikidata.org/entity/Q1622272 +
, http://fr.dbpedia.org/resource/Informaticien +
, http://www.wikidata.org/entity/Q3400985 +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://dblp.uni-trier.de/pers/hd/d/Dill:David_L= +
, https://scholar.google.com/citations%3Fuser=uy8T6BYAAAAJ&hl= +
, https://profiles.stanford.edu/david-dill +
|
http://dbpedia.org/ontology/wikiPageID
|
12571421
|
http://dbpedia.org/ontology/wikiPageLength
|
11679
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
188065408
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_janvier_1957 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Professeur_%C3%A0_l%27universit%C3%A9_Stanford +
, http://fr.dbpedia.org/resource/Association_for_Computing_Machinery +
, http://fr.dbpedia.org/resource/Master_of_Science +
, http://fr.dbpedia.org/resource/S%C3%A9nat_des_%C3%89tats-Unis +
, http://fr.dbpedia.org/resource/Jim_Lehrer +
, http://fr.dbpedia.org/resource/Logiciel +
, http://fr.dbpedia.org/resource/Universit%C3%A9_Carnegie-Mellon +
, http://fr.dbpedia.org/resource/Biologie_des_syst%C3%A8mes +
, http://fr.dbpedia.org/resource/Digital_Bibliography_&_Library_Project +
, http://fr.dbpedia.org/resource/Microprocesseur +
, http://fr.dbpedia.org/resource/Doctorat +
, http://fr.dbpedia.org/resource/Informaticien +
, http://fr.dbpedia.org/resource/Mentor_Graphics +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:%C3%89tudiant_du_Massachusetts_Institute_of_Technology +
, http://fr.dbpedia.org/resource/Institute_of_Electrical_and_Electronics_Engineers +
, http://fr.dbpedia.org/resource/D%C3%A9monstration_automatique_de_th%C3%A9or%C3%A8mes +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_am%C3%A9ricaine_en_informatique +
, http://fr.dbpedia.org/resource/MIT_Press +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Membre_de_l%27Acad%C3%A9mie_am%C3%A9ricaine_des_arts_et_des_sciences +
, http://fr.dbpedia.org/resource/Massachusetts_Institute_of_Technology +
, http://fr.dbpedia.org/resource/Mat%C3%A9riel_informatique +
, http://fr.dbpedia.org/resource/Rajeev_Alur +
, http://fr.dbpedia.org/resource/Donald_Knuth +
, http://fr.dbpedia.org/resource/Extensibilit%C3%A9 +
, http://fr.dbpedia.org/resource/Automate_temporis%C3%A9 +
, http://fr.dbpedia.org/resource/Universit%C3%A9_Stanford +
, http://fr.dbpedia.org/resource/V%C3%A9rification_formelle +
, http://fr.dbpedia.org/resource/V%C3%A9rification_de_mod%C3%A8les +
, http://fr.dbpedia.org/resource/%C3%89lectrotechnique +
, http://fr.dbpedia.org/resource/Fellow +
, http://fr.dbpedia.org/resource/Acad%C3%A9mie_nationale_d%27ing%C3%A9nierie_des_%C3%89tats-Unis +
, http://fr.dbpedia.org/resource/Bachelor_of_Science +
, http://fr.dbpedia.org/resource/Vote_%C3%A9lectronique +
, http://fr.dbpedia.org/resource/ACM-IEEE_Symposium_on_Logic_in_Computer_Science +
, http://fr.dbpedia.org/resource/Edmund_M._Clarke +
, http://fr.dbpedia.org/resource/Professeur_%28titre%29 +
, http://fr.dbpedia.org/resource/Google_Scholar +
, http://fr.dbpedia.org/resource/European_Association_for_Theoretical_Computer_Science +
, http://fr.dbpedia.org/resource/European_Association_for_Computer_Science_Logic +
, http://fr.dbpedia.org/resource/Circuit_asynchrone +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:%C3%89tudiant_de_l%27universit%C3%A9_Carnegie-Mellon +
, http://fr.dbpedia.org/resource/James_Baker +
, http://fr.dbpedia.org/resource/Facebook +
, http://fr.dbpedia.org/resource/EFF_Pioneer_Award +
, http://fr.dbpedia.org/resource/Jimmy_Carter +
, http://fr.dbpedia.org/resource/Blockchain +
, http://fr.dbpedia.org/resource/Satisfiability_modulo_theories +
, http://fr.dbpedia.org/resource/Informatique +
, http://fr.dbpedia.org/resource/Computer_Aided_Verification +
, http://fr.dbpedia.org/resource/Acad%C3%A9mie_am%C3%A9ricaine_des_arts_et_des_sciences +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_m%C3%A9thodes_formelles +
, http://fr.dbpedia.org/resource/Prix_Alonzo-Church +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_automates +
, http://fr.dbpedia.org/resource/Syst%C3%A8me_temps_r%C3%A9el +
|
http://fr.dbpedia.org/property/fr
|
Lou Dobbs Tonight
, ACM Special Interest Group for Logic and Computation
, Presidential Young Investigator
, Design Automation Conference
, trace de vote vérifiable sur papier
, Commission on Federal Election Reform
, Kurt Gödel Society
, Stanford University School of Engineering
, Concolic testing
|
http://fr.dbpedia.org/property/langue
|
en
|
http://fr.dbpedia.org/property/texte
|
ACM Special Interest Group for Logic and Computation
, Commission on Federal Election Reform
, Design Automation Conference
, Kurt Gödel Society
, Lou Dobbs Tonight
|
http://fr.dbpedia.org/property/trad
|
Voter-verified paper audit trail
, Design Automation Conference
, Kurt Gödel Society
, ACM SIGLOG
, Lou Dobbs Tonight
, Commission on Federal Election Reform
|
http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Date_de_naissance +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Lien +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Infobox_Biographie2 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Bases_recherche +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:%2C +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Citation_%C3%A9trang%C3%A8re +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Voir_homonymes +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Autorit%C3%A9 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Traduction/R%C3%A9f%C3%A9rence +
|
http://fr.dbpedia.org/property/wikidata
|
Q41187382
|
http://fr.dbpedia.org/property/élève
|
http://fr.dbpedia.org/resource/Rajeev_Alur +
|
http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:%C3%89tudiant_du_Massachusetts_Institute_of_Technology +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Naissance_en_janvier_1957 +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_en_m%C3%A9thodes_formelles +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Personnalit%C3%A9_am%C3%A9ricaine_en_informatique +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:%C3%89tudiant_de_l%27universit%C3%A9_Carnegie-Mellon +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Professeur_%C3%A0_l%27universit%C3%A9_Stanford +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Membre_de_l%27Acad%C3%A9mie_am%C3%A9ricaine_des_arts_et_des_sciences +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/David_L._Dill?oldid=188065408&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/David_L._Dill +
|
owl:sameAs |
http://dbpedia.org/resource/David_L._Dill +
, http://g.co/kg/m/0gx3y87 +
, http://viaf.org/viaf/93678261 +
, https://id.loc.gov/authorities/names/n88268956 +
, https://dblp.org/pid/d/DavidLDill +
, http://www.wikidata.org/entity/Q41187382 +
, http://id.worldcat.org/fast/1498258 +
, http://fr.dbpedia.org/resource/David_L._Dill +
|
rdf:type |
http://schema.org/Person +
, http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q19088 +
, http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q5 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Species +
|
rdfs:comment |
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
|
rdfs:seeAlso |
http://isni.org/isni/0000_0000_6650_5221 +
, https://scholar.google.com/citations?user=uy8T6BYAAAAJ +
, http://genealogy.math.ndsu.nodak.edu/id.php?id=50263 +
, https://dl.acm.org/author_page.cfm?id=81100342748 +
|