Registered user since Thu 19 Nov 2015

Name: Nimrod Partush

Affiliation: Technion

Personal website: http://www.cs.technion.ac.il/~nimi/

Research interests: Program Analysis, Security, Programming Languages, Verification, Machine Learning

Contributions