About: Ofer Strichman

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Israeli computer scientist

Property	Value
dbo:academicDiscipline	dbr:Computer_science dbr:Computational_logic
dbo:almaMater	dbr:Weizmann_Institute_of_Science dbr:Technion_–_Israel_Institute_of_Technology
dbo:birthDate	1968-09-04 (xsd:date)
dbo:birthPlace	dbr:Israel dbr:Haifa
dbo:description	Israeli computer scientist (en)
dbo:doctoralAdvisor	dbr:Amir_Pnueli
dbo:institution	dbr:Technion_–_Israel_Institute_of_Technology
dbo:originalName	עופר שטרייכמן (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Ofer_Strichman.jpg?width=300
dbo:wikiPageExternalLink	https://oferstrichman.net.technion.ac.il/ https://dblp.org/pid/s/OferStrichman.html
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Microsoft_Research dbr:Israel_Defense_Forces dbr:Senior_lecturer dbr:Professor dbr:Sabbatical dbc:1968_births dbc:Living_people dbr:Israel dbr:Pittsburgh dbr:Operations_research dbr:Software_Engineering_Institute dbr:Alliance_Israélite_Universelle dbc:Israeli_computer_scientists dbc:Theoretical_computer_scientists dbc:Weizmann_Institute_of_Science_alumni dbr:Springer_Science+Business_Media dbr:Computer_science dbr:Haifa dbr:Visiting_scholar dbr:Amir_Pnueli dbr:Carnegie_Mellon_University dbr:Rehovot dbr:IBM_Research dbr:Associate_professor dbr:Redmond,_Washington dbr:Atuda dbr:Formal_verification dbr:The_William_Davidson_Faculty_of_Industrial_Engineering_&_Management dbr:DBLP dbr:Computational_logic dbr:Computer_Aided_Verification dbr:Full_professor dbr:Weizmann_Institute dbr:Computer_Science dbr:Technion dbr:Edmund_Clarke dbr:Industrial_Engineering dbr:Compilers dbr:Information_systems dbr:LAP_Lambert_Academic_Publishing dbc:Technion_–_Israel_Institute_of_Technology_faculty
dbp:almaMater	dbr:Weizmann_Institute_of_Science dbr:Technion_–_Israel_Institute_of_Technology
dbp:birthDate	1968-09-04 (xsd:date)
dbp:birthPlace	dbr:Israel dbr:Haifa
dbp:doctoralAdvisor	dbr:Amir_Pnueli
dbp:fields	dbr:Computer_science dbr:Computational_logic
dbp:name	Ofer Strichman (en)
dbp:nationality	Israeli (en)
dbp:nativeName	עופר שטרייכמן (en)
dbp:nativeNameLang	he (en)
dbp:thesisTitle	Efficient decision procedures for validation (en)
dbp:thesisYear	2001 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Infobox_scientist dbt:Birth_date_and_age dbt:Langx
dbp:workplaces	Technion (en)
dct:subject	dbc:1968_births dbc:Living_people dbc:Israeli_computer_scientists dbc:Theoretical_computer_scientists dbc:Weizmann_Institute_of_Science_alumni dbc:Academic_staff_of_Technion_–_Israel_Institute_of_Technology
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Species schema:Person
rdfs:label	Ofer Strichman (en)
owl:sameAs	wikidata:Ofer Strichman https://orcid.org/0000-0001-9169-3751 http://d-nb.info/gnd/1129196887 https://dblp.org/pid/s/OferStrichman http://viaf.org/viaf/25825563 dbpedia-global:Ofer Strichman
prov:wasDerivedFrom	wikipedia-en:Ofer_Strichman?oldid=1282725557&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Ofer_Strichman.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Ofer_Strichman
foaf:name	Ofer Strichman (en)
is dbo:doctoralStudent of	dbr:Amir_Pnueli
is dbo:wikiPageWikiLink of	dbr:Satisfiability
is dbp:doctoralStudents of	dbr:Amir_Pnueli
is foaf:primaryTopic of	wikipedia-en:Ofer_Strichman