I am a PhD student at the Faculty of Electrical and Computer Engineering, Technion, working under the supervision of Dana Drachsler-Cohen. My research is focused on the innovative use of program synthesis and formal methods to generate adversarial attacks on neural networks. This exploration aims to deepen our understanding of network vulnerabilities and facilitate the creation of effective strategies for their detection and mitigation.