About: Orna Kupferman

Property	Value
dbo:almaMater	dbr:Technion_–_Israel_Institute_of_Technology
dbo:description	informaticus (nl) Israeli computer scientist (en) israelische Informatikerin (de) ríomheolaí Iosraelach (ga) פרופסור למדעי המחשב באוניברסיטה העברית בירושלים (iw) professeure d'université et informaticienne israélienne (fr)
dbo:doctoralAdvisor	dbr:Orna_Grumberg
dbo:institution	dbr:Bell_Labs dbr:University_of_California,_Berkeley dbr:Hebrew_University_of_Jerusalem
dbo:originalName	אורנה קופרמן (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Orna_Kupferman.jpg?width=300
dbo:wikiPageExternalLink	http://www.cs.huji.ac.il/~ornak/ https://repository.upenn.edu/cis_reports/102
dbo:wikiPageWikiLink	dbc:Living_people dbr:European_Research_Council dbr:Bell_Labs dbr:Computer_science dbr:University_of_California,_Berkeley dbr:Weizmann_Institute_of_Science dbr:Rector_(academia) dbr:Technion_–_Israel_Institute_of_Technology dbr:Formal_verification dbr:Hebrew_University_of_Jerusalem dbr:Automata_theory dbr:Israel_Defense_Forces dbr:Academia_Europaea dbr:Thomas_Henzinger dbc:Year_of_birth_missing_(living_people) dbr:ACM_Transactions_on_Computational_Logic dbr:Logical_Methods_in_Computer_Science dbr:Orna_Grumberg dbc:Members_of_Academia_Europaea dbc:Israeli_computer_scientists dbc:Technion_–_Israel_Institute_of_Technology_alumni dbc:21st-century_women_scientists dbc:20th-century_women_scientists dbc:Israeli_women_computer_scientists dbr:Technion_-_Israel_Institute_of_Technology dbr:Gender_segregated_education dbc:Hebrew_University_of_Jerusalem_faculty
dbp:almaMater	dbr:Technion_–_Israel_Institute_of_Technology
dbp:doctoralAdvisor	dbr:Orna_Grumberg
dbp:name	Orna Kupferman (en)
dbp:nativeName	אורנה קופרמן (en)
dbp:nativeNameLang	he (en)
dbp:thesisTitle	Model Checking for Branching-Time Temporal Logics (en)
dbp:thesisUrl	http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-get.cgi/1995/PHD/PHD-1995-02.pdf
dbp:thesisYear	1995 (xsd:integer)
dbp:website	http://www.cs.huji.ac.il/~ornak/
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Authority_control dbt:Cite_journal dbt:Infobox_scientist dbt:Langx dbt:Reflist dbt:Short_description
dbp:workplaces	dbr:Bell_Labs dbr:University_of_California,_Berkeley dbr:Hebrew_University_of_Jerusalem (en)
dct:subject	dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Academic_staff_of_the_Hebrew_University_of_Jerusalem dbc:Members_of_Academia_Europaea dbc:Israeli_computer_scientists dbc:Technion_–_Israel_Institute_of_Technology_alumni dbc:20th-century_Israeli_women_scientists dbc:21st-century_Israeli_women_scientists dbc:Israeli_women_computer_scientists
rdf:type	owl:Thing foaf:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Scientist dbo:Species dbo:Species schema:Person
rdfs:label	Orna Kupferman (en) Orna Kupferman (de) Orna Kupferman (fr)
owl:sameAs	https://orcid.org/0000-0003-4699-6117 wikidata:Orna Kupferman dbpedia-de:Orna Kupferman dbpedia-fr:Orna Kupferman dbpedia-he:Orna Kupferman https://dblp.org/pid/k/OrnaKupferman http://viaf.org/viaf/88150565716906251973 dbpedia-global:Orna Kupferman
prov:wasDerivedFrom	wikipedia-en:Orna_Kupferman?oldid=1310648459&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Orna_Kupferman.jpg
foaf:homepage	http://www.cs.huji.ac.il/~ornak/ http://www.cs.huji.ac.il/~ornak/
foaf:isPrimaryTopicOf	wikipedia-en:Orna_Kupferman
foaf:name	Orna Kupferman (en)
is dbo:wikiPageWikiLink of	dbr:International_Conference_on_Concurrency_Theory dbr:Summer_School_Marktoberdorf
is foaf:primaryTopic of	wikipedia-en:Orna_Kupferman