Alexander Nadel

Researcher, Technion - Israel Institute of Technology, Technion

Researcher, Intel

  • Joined June 2024

Names

Alexander Nadel (Preferred)

Emails

****@cs.tau.ac.il (Confirmed)
,
****@intel.com (Confirmed)
,
****@technion.ac.il (Confirmed)

Personal Links

Career & Education History

Researcher
Technion - Israel Institute of Technology, Technion (technion.ac.il)
2023 – Present
 
Researcher
Intel (intel.com)
2003 – Present
 

Advisors, Relations & Conflicts

Coauthor
2010 – 2024
 
PhD Advisor
2004 – 2009
 

Expertise

Constraint solving
Present
 
SAT solving
2002 – Present
 
SMT Solving
2002 – Present
 
Formal Verification
2002 – Present