Improver

Contact Details

E-mails & Phone

Alexander Nadel

Alexander Nadel

Research Scientist at Intel

Israel

I am a research scientist and engineer working on developing automated reasoning tools and deploying them at the industry. I am particularly interested in SAT and SMT solving and model checking. A list of my publications as well as my email are available at my webpage http://www.cs.tau.ac.il/research/alexander.nadel/


Experience:

  • Software Engineer (NDS)
  • Research Scientist (Intel)

Skills:

People also viewed these profiles

People also viewed these profiles

Yoram Furth

Algorithm Engineer at Samsung Israel R&D Center - SIRC @ Israel

People also viewed these profiles

Eyal Gal

CTO at Tondo Smart Ltd. @ Israel

People also viewed these profiles

Esther Amar

Membership Team Lead @ Fullerton, California