Prof. Strichman published two books: “Decision procedures – an algorithmic point of view” together with Daniel Kroening, and “Efficient decision procedures for validation”, edited two others and coauthored more than 100 peer-reviewed articles, mostly in formal verification and SAT. In the SAT field he is mostly known for his contributions to linear-time proof manipulations and incremental satisfiability. In formal verification he is mostly known for his invention of ‘regression verification’ and various decision procedures, mostly for equalities with uninterpreted functions.
Prof. Strichman won the 2021 CAV award “for pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT)”.
Selected conference activities: