English Ofer Strichman Cited by user Timtempleton on 03 May 2022 Ofer Strichman (Hebrew: עופר שטרייכמן, born: 4 September 1968) is a professor of computational logic and computer science at the Davidson Industrial Engineering and…