RESEARCH

Neural Networks Verification
Neural Networks Abstraction

April 8, 2020

 

ACADEMIC STUDIES

(2009-2011) BSc. Computer Science (HUJI)

(2017-2018) MSc. Computer Science (TAU, under the supervision of Prof. Daniel Deutch)

(2020-) PHD Candidate Computer Science (HUJI, under the supervision of Prof. Guy Katz)

 

CONTACT ME

Thanks for submitting!