Ofer Strichman
Ofer Strichman | |
|---|---|
עופר שטרייכמן | |
| Born | 4 September 1968 |
| Nationality | Israeli |
| Alma mater | Technion Weizmann Institute |
| Scientific career | |
| Fields | Computer Science, computational logic |
| Institutions | Technion |
| Thesis | Efficient decision procedures for validation (2001) |
| Doctoral advisor | Amir Pnueli |
Ofer Strichman (Hebrew: עופר שטרייכמן; born: 4 September 1968) is a professor of computational logic and computer science at the Faculty of Data and Decision Sciences, Technion – Israel Institute of Technology. He holds the Joseph Gruenblat chair in production engineering.