Name:Saar Tzour-Shaday

Bio:

A Computer Science MSc candidate at the Technion - Israel Institute of Technology, specializing in the formal verification of deep learning models. My research focuses on developing scalable algorithms for verifying the robustness of computer vision systems against adversarial attacks, combining Mixed Integer Linear Programming techniques with reinforcement learning-based methods.

I’m always excited to share ideas and collaborate! :) feel free to connect with me on Linkedin: https://www.linkedin.com/in/saar-tzour-shaday/

Country:Israel

Affiliation:Technion – Israel Institute of Technology

Research interests:Machine Learning, Formal Verification