I am a Ph.D. student at the School of Computer Science and Engineering of the Hebrew University of Jerusalem (HUJI). My research primarily focuses on proof production for deep neural network (DNN) verification, and its theoretical computability and complexity aspects. I am advised by Prof. Guy Katz.
As part of my research, I contribute to the Marabou DNN Verifier.
I earned both my B.Sc. in computer science and mathematics in the "Amirim" honors program, and my M.Sc. in computer science from HUJI.
Email: firstname [dot] lastname [at] mail [dot] huji [dot] ac [dot] il