I am a postdoctoral researcher in the Department of Computer Science at Cornell University, working with Professor Nate Foster.

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.

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 was 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