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 won the 2021 CAV award “for pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT)

Prof. Strichman’s website