Daniel Fattal is a Formal Verification Engineer at Intel Corporation, where they apply advanced techniques to ensure the correctness and reliability of digital systems. Previously, Daniel served as a Teaching Assistant at Tel Aviv University, teaching Logic for Computer Science, and worked as a Software Developer at Check Point Software Technologies Ltd. Daniel holds a Bachelor of Science in Mathematics and Computer Science from The Open University of Israel, graduating with great honors, and a Master of Science from Tel Aviv University, graduating summa cum laude.
This person is not in the org chart
This person is not in any teams
This person is not in any offices