PyCon Israel 2022

Avraham Raviv

I'm a Ph.D. candidate in the faculty of engineering, at Bar-Ilan University, and a Data Scientist researcher at Samsung Israel. My main focus is Deep Learning and Computer Vision.

In my research, I'm trying to develop methods to improve the run time of edge devices, using parallel computing and optimization of Neural Networks.

Alongside my research, I'm also a teaching assistant in several courses:
Introduction to programming, Data structure and algorithms, and advanced courses for grad students.

I'm an author of the "Machine and Deep Learning in Hebrew" book, and love to share content in Hebrew about advanced topics of AI and DS.

The speaker's profile picture


πŸ‡ΊπŸ‡Έ Formal Verification through Python – Why and How?

Formal verification (FV) can prove the correctness of algorithms and systems and so ensure safety. Since FV tools are not easy to use, we will show examples (from the RL domain) of how executing them via Python could be very useful and friendly-user.