Guy Amir

I am a postdoctoral researcher in the Department of Computer Science at Cornell University.

Previously, I completed my Ph.D. (2021–2024) at the Hebrew University of Jerusalem under the supervision of Professor Guy Katz, where I worked on formally verifying the correctness of AI-controlled robots.

I hold a B.Sc. in Computational Biology & Computer Science (2017–2020) and an M.Sc. in Computer Science (2020–2021), both from the Hebrew University of Jerusalem.

I am a Rothschild Fellow and have also been fortunate to receive a Fulbright Postdoctoral Fellowship, a Charles Clore Doctoral Fellowship, and a KLA Award for Research.

E-mail: gda42 [at] cornell [dot] edu