Julian Mour

Formal Verification Engineer

Julian Mour is a Formal Verification Engineer at NVIDIA, where they apply their expertise in software development and machine learning to tackle complex challenges. A recent M.Sc graduate in Computer Science from the Technion - Israel Institute of Technology, Julian specialized in Neural Network Verification and conducted thesis research on the robustness of multi-label neural network classifiers, which was published at SAS 2024. They also served as the Head Teaching Assistant for an object-oriented programming course while at Technion, enhancing their skills in Python, Java, and C++. Julian holds a Bachelor's degree in Computer Science from the University of Haifa.

Location

Haifa, Israel

Links


Org chart

No direct reports

Teams

This person is not in any teams


Offices

This person is not in any offices