Improver

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: