I am a postdoctoral researcher in the Department of Computer Science at Cornell University. My research focuses on the intersection of Formal Verification, Programming Languages, and Networking Systems.
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 machine learning models, with an emphasis on robotics and reactive systems.
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