I am a Ph.D. candidate at the
School of Computer Science and Engineering,
the Hebrew University of Jerusalem, and advised by
Professor 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 (2020-2021) - both at the Hebrew University of Jerusalem.
I am a fellow of the Clore Scholars Program.
E-mail: guyam [at] cs [dot] huji [dot] ac [dot] il
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 (2020-2021) - both at the Hebrew University of Jerusalem.
I am a fellow of the Clore Scholars Program.
E-mail: guyam [at] cs [dot] huji [dot] ac [dot] il