Accept
Decline

Alexander Nadel

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.

We recommend

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

ISBN: 978-3-85448-060-0
Added to cart.
Accept
Decline