Alexander Nadel is a research scientist at Intel and a research fellow at the Technion’s Faculty of Data and Decision Sciences, based in Haifa, Israel. His research interests include constraint solving (SAT solving, SMT solving, MaxSAT, model checking) and their various applications. Alexander joined Intel in 2003 and has been leading the development of constraint solving technology at the company, deployed in various domains, including formal verification, physical design (place and route), scheduling and test generation. Alexander also developed several open-source solvers, which won multiple awards at SAT Competitions and MaxSAT Evaluations.