Prof. Ofer Strichman received his Ph.D. in Computer Science from the Weizmann Institute of Science in 2001, under the supervision of Amir Pnueli. He then held a post-doc position in Carnegie Mellon University for two years under the sponsorship of Ed Clarke, and joined the Technion’s faculty of Industrial Engineering in 2003. Since then he held a visiting scientist position in the Software Engineering Institute in Pittsburgh, as well as various consulting positions in the industry. In 2020 he was appointed to be the Joseph Gruenblat Chair in production engineering.
Prof. Strichman’s research interests are Formal Veriﬁcation and Computational Logic, with a focus on Model-Checking, Satisﬁability Modulo Theories (SMT), SAT, CSP and Program Equivalence.