Nimrod Saban Partosh

Nimrod Saban Partosh

Contact information
Homepage:
http://www.cs.technion.ac.il/~nimi/
Email:
nimi[at]cs.technion.ac.il
Office:
603
Phone:
5527
Research interests
Program analysis, abstract interpretation, program verification, security and software engineering.
Advisor