Avi Hayoun is currently a Senior Formal Verification Developer at Nvidia, focusing on research and development of formal methods. At Ben-Gurion University, Avi collaborates with Dr. Gera Weiss and Prof. Uri Abraham in the Computer Science department. Previously, Avi held various roles at Ben-Gurion University, including Lecturer in Compiler Principles and Technical Advisor for the Students Think Innovation program in collaboration with Google. Avi has also worked as a Software Engineer at Snyk and as a Full Stack Web Developer at Afik Pirsum LTD. Avi earned a Doctor of Philosophy in Computer Science from Ben-Gurion University, following a Master of Science and Bachelor of Science in the same field.
This person is not in the org chart
This person is not in any teams
This person is not in any offices