I am a postdoctoral researcher in the Department of Computer Science at The University of Texas at Austin, where I work with Professor Isil Dillig. My research lies at the intersection of formal methods and AI, systems, and security.
Before joining UT Austin, I was a postdoctoral researcher at Cornell University (2024–2026).
I completed my Ph.D. (2021–2024) at the Hebrew University of Jerusalem under the supervision of Professor Guy Katz. My Ph.D. research focused on the formal verification of machine learning models, with an emphasis on robotics and reactive systems.
I hold a B.Sc. in Computational Biology & Computer Science (2017–2020, magna cum laude) and an M.Sc. in Computer Science (2020–2021, magna cum laude), 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: guyamir [at] utexas [dot] edu