CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
David_L._Dill
Property
Value
rdf:
type
Formal methods person
owl:
NamedIndividual
1957 birth
American Academy of Arts and Sciences members
American computer scientist
Carnegie Mellon University alumnus
Fellow of the American Academy of Arts and Sciences
Fellow of the Association for Computing Machinery
Living person
Member of the United States National Academy of Engineering
Person named David
rdfs:
label
David L. Dill
owl:
sameAs
dbr:
David_L._Dill
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:1957_births
http://en.wikipedia.org/wiki/Category:American_computer_scientists
http://en.wikipedia.org/wiki/Category:Carnegie_Mellon_University_alumni
http://en.wikipedia.org/wiki/Category:Fellows_of_the_American_Academy_of_Arts_and_Sciences
http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/List_of_American_Academy_of_Arts_and_Sciences_members_(2006%E2%80%932019)
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/List_of_people_named_David
http://en.wikipedia.org/wiki/Category:Formal_methods_people
http://en.wikipedia.org/wiki/Category:Members_of_the_United_States_National_Academy_of_Engineering
http://en.wikipedia.org/wiki/David_Dill
skos:
prefLabel
David L. Dill
skos:
altLabel
David Dill
clgo:
almaMater
Carnegie Mellon University
Massachusetts Institute of Technology
clgo:
award
ACM SIGLOG
EFF Pioneer Award
Computer Aided Verification
clgo:
birthDate
1957-01-08
clgo:
birthYear
1957
clgo:
doctoralAdvisor
Edmund M. Clarke
clgo:
nationality
United States
clgo:
notableStudent
Rajeev Alur
is
clgo:
doctoralStudent
of
Edmund M. Clarke