I am an artificial intelligence researcher, and a Ph.D. Student at the School of Computer Science and Engineering at the Hebrew University of Jerusalem. My advisor is Dr. Guy Katz and I am part of the Katz Lab.
My research focuses on the robustness and verification of machine-learning models deployed on safety-critical systems.
I have more than twenty years of experience in Software and System Engineering in various roles and applications.
2020 - Today
Hebrew University, Ph.D. student, Computer Science.
2014 - 2016
Technion, Master of System Engineering.
Ben Gurion University, MBA.
Open University, BA, Computer Science (Graduated with honors)
Arxiv Technical Report, Dec. 2023
gRoMA: a Tool for Measuring Deep Neural Networks Global Robustness
N. Levy, R. Yerushalmi and G. Katz
Proc. 12th Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation (AISoLA)
Crete, Greece, October 2023
Management and Detection System for Medical Surgical Equipment
Alexandra Hadar, Natan Levy and Michal Winokur
2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME)
System for Maintaining High Power Line
Natan Levy and Yonatan Hazany
Issued Jan 29, 2018 Patent issuer and number il 257190
Real-Time Recording System
Natan Levy and Avi Bittan
Issued May 1, 2017 Patent issuer and number: il 215687
System and Method for Suppression of Detonation and/or Pre-Ignition Phenomena in Internal Combustion Engines by Monitoring RPM Fluctuation
Natan Levy and Benny Grummer
Issued Oct 11, 2016 Patent issuer and number US9464589B2
System and Method for Alerting of Detonation and/or Pre-Ignition Phenomena in Internal Combustion Engines by Monitoring RPM Fluctuation
Natan Levy and Benny Grummer
Issued Feb 16, 2016 Patent issuer and number US9261039B2
Roles & Responsibilities
2018 - Today
Head of Software Tools, Methods, and Engineering Processes, Defence Company
Leading 3 Software Engineers teams (20 employees): DevOps and SW tools, SW & System quality, and System & SW methodology, supporting hundreds of engineers in the group. Reported directly to head of engineering, as part of the engineering staff.
2012 - 2018
System Engineer, Defence Company
Leading airborne System & Software design for retrofitting an existing product for formal software certification with DO-178C. Applied my deep knowledge and abilities to product delivery.
Software Engineer, Variety of Companies
My experience has been in the field of system and software engineering for a variety of organizations, including Intel, ECI, Amdocs, and others. I have a wide range of expertise in autonomous vehicles, optimizing, recording systems, radio frequency fusion, embedded real-time, Windows APIs, and databases.
As part of the annual ITforIDF conference, I was given an opportunity to present my own research on the weaknesses of AI, adversarial examples, formal verification, and adversarial models during the panel discussion.