Dr. Alexander Nadel joined the faculty in 2023 as a research fellow. He received his Ph.D. in 2009 from Tel Aviv University. Alexander ‘s research interests include constraint solving (SAT, MaxSAT, SMT, 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. He is the author/co-author of over 30 papers, including the best paper at FMCAD 2010. He served on the program committee of over 30 conferences and workshops, co-chaired the SMT Workshop 2021 and serves as the co-chair of the FMCAD 2023 conference. Open-source solvers, developed by Alexander, won several competitions, including a category at SAT Competition 2004, the SAT Competition 2018 and several tracks at MaxSAT Evaluations 2019 and 2020.