Alexander Nadel (Preferred)
Alexander Nadel
Researcher, NVIDIA
Researcher, Technion - Israel Institute of Technology, Technion
Researcher, Intel
- Joined June 2024
Names
Emails
****@cs.tau.ac.il (Confirmed)
, ****@intel.com (Confirmed)
, ****@technion.ac.il (Confirmed)
, ****@nvidia.com (Confirmed)
Personal Links
Career & Education History
Researcher
NVIDIA (nvidia.com)
2025 – Present
Researcher
Technion - Israel Institute of Technology, Technion (technion.ac.il)
2023 – Present
Researcher
Intel (intel.com)
2003 – 2025
Advisors, Relations & Conflicts
Expertise
Constraint solving
Present
SAT solving
2002 – Present
SMT Solving
2002 – Present
Formal Verification
2002 – Present