Faculty:Industrial Engineering and Management

Research Area / Fields

  1. Formal verification of finite-state systems.
  2. Model-checking and bounded model-checking.
  3. Decision procedures for first-order theories in the Satisfiability Modulo Theories (SMT) framework.
  4. SAT and CSP.
  5. Program equivalence checking.
  6. Approximating computationally-hard problems in real-time.
  7. Discrete optimization, including university course scheduling.

Short Bio

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)”.

arrow Business Development Contacts
Ofer Shneyour
Director of Business Development, ICT