I am a Ph.D. candidate at the School of Computer Science and Engineering, the Hebrew University of Jerusalem, and advised by Dr. Guy Katz.

My research focuses on applying formal methods for verifying machine-learning models deployed on safety-critical systems.

I studied my B.Sc. in Computational Biology & Computer Science (2017-2020), and my M.Sc. in Computer Science (2019-2020) - both at the Hebrew University of Jerusalem.