About: Ofer Strichman

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

Ofer Strichman (Hebrew: עופר שטרייכמן, born: 4 September 1968) is a professor of computational logic and computer science at the Davidson Industrial Engineering and Management, Technion – Israel Institute of Technology. He holds the Joseph Gruenblat chair in production engineering.

Property	Value
dbo:abstract	Ofer Strichman (Hebrew: עופר שטרייכמן, born: 4 September 1968) is a professor of computational logic and computer science at the Davidson Industrial Engineering and Management, Technion – Israel Institute of Technology. He holds the Joseph Gruenblat chair in production engineering. (en)
dbo:academicDiscipline	dbr:Computer_Science dbr:Computational_logic
dbo:almaMater	dbr:Technion dbr:Weizmann_Institute
dbo:birthDate	1968-09-04 (xsd:date)
dbo:birthPlace	dbr:Haifa dbr:Israel
dbo:doctoralAdvisor	dbr:Amir_Pnueli
dbo:institution	dbr:Technion
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:wikiPageID	68435500 (xsd:integer)
dbo:wikiPageLength	8943 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1102902436 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Carnegie_Mellon_University dbr:Rehovot dbc:Living_people dbr:Compilers dbr:Computer_Science dbr:Model_checking dbr:Sabbatical dbr:Computational_logic dbr:Computer_Aided_Verification dbr:Computer_science dbr:Professor dbc:1968_births dbc:Theoretical_computer_scientists dbc:Weizmann_Institute_of_Science_alumni dbr:Alliance_Israélite_Universelle dbr:Amir_Pnueli dbr:DBLP dbr:Formal_verification dbr:Haifa dbr:Atuda dbr:Israel dbr:Israel_Defense_Forces dbr:Technion dbc:Technion_–_Israel_Institute_of_Technology_faculty dbc:Israeli_computer_scientists dbr:Associate_professor dbr:Pittsburgh dbr:Software_Engineering_Institute dbr:Springer_Science+Business_Media dbr:Information_systems dbr:Microsoft_Research dbr:Operations_research dbr:Redmond,_Washington dbr:IBM_Research dbr:Senior_lecturer dbr:The_William_Davidson_Faculty_of_Industrial_Engineering_&_Management dbr:Visiting_scholar dbr:Weizmann_Institute dbr:LAP_Lambert_Academic_Publishing dbr:Full_professor dbr:Industrial_Engineering dbr:Edmund_Clarke
dbp:almaMater	dbr:Technion dbr:Weizmann_Institute
dbp:birthDate	1968-09-04 (xsd:date)
dbp:birthPlace	dbr:Haifa dbr:Israel
dbp:doctoralAdvisor	dbr:Amir_Pnueli
dbp:fields	dbr:Computer_Science dbr:Computational_logic
dbp:name	Ofer Strichman (en)
dbp:nationality	Israeli (en)
dbp:thesisTitle	Efficient decision procedures for validation (en)
dbp:thesisYear	2001 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Birth_date_and_age dbt:Infobox_scientist
dbp:workplaces	Technion (en)
dcterms:subject	dbc:Living_people dbc:1968_births dbc:Theoretical_computer_scientists dbc:Weizmann_Institute_of_Science_alumni dbc:Technion_–_Israel_Institute_of_Technology_faculty dbc:Israeli_computer_scientists
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person wikidata:Q901
rdfs:comment	Ofer Strichman (Hebrew: עופר שטרייכמן, born: 4 September 1968) is a professor of computational logic and computer science at the Davidson Industrial Engineering and Management, Technion – Israel Institute of Technology. He holds the Joseph Gruenblat chair in production engineering. (en)
rdfs:label	Ofer Strichman (en)
owl:sameAs	http://d-nb.info/gnd/1129196887 https://dblp.org/pid/s/OferStrichman http://viaf.org/viaf/25825563 https://orcid.org/0000-0001-9169-3751 wikidata:Ofer Strichman https://global.dbpedia.org/id/9oeEn
prov:wasDerivedFrom	wikipedia-en:Ofer_Strichman?oldid=1102902436&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Ofer_Strichman.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Ofer_Strichman
foaf:name	Ofer Strichman (en)
is dbo:wikiPageWikiLink of	dbr:Satisfiability
is foaf:primaryTopic of	wikipedia-en:Ofer_Strichman