Prof. Strichman earned his PhD from the Weizmann Institute in 2001, where he worked under the supervision of Amir Pnueli on translation validation for compilers, Bounded Model Checking and other topics in formal verification. He then joined the research group of Edmund Clark at Carnegie Mellon University as a postdoctoral researcher, where he focused on model-checking and (machine) learning.Prof. Strichman published two books: “Decision procedures – an algorithmic point of view” together with Daniel Kroening and “Efficient decision procedures for validation.” He also edited two others and coauthored 95 peer-reviewed articles, mostly on the topics of formal verification and SAT. In the SAT field, he is known for his contributions to linear-time proof manipulations, incremental satisfiability and phase saving. In formal verification, he is mostly known for his invention of ‘regression verification’ and various decision procedures.