Alexander Ivrii is a researcher at the IBM Haifa Research Lab. Since joining IBM in 2007, he has worked on formal verification of hardware, SAT-solving and model-checking. Alexander holds a PhD in mathematics from Stanford University and has held two postdoctoral positions in mathematics at the Centre de Recherches Mathematiques and the Technion Institute of Technology. Alexander has coauthored 25 peer-reviewed publications and is a co-inventor of 14 patents.