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 Davidson Industrial Engineering and Management, Technion – Israel Institute of Technology. He holds the Joseph Gruenblat chair in production engineering.[1]
- ^ "Ofer Strichman". Technion.