RESEARCH

Neural Networks Verification
Neural Networks Abstraction

April 8, 2020

Home: Research

(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)

Home: About Me

Home: Contact