Omri Isac
I am a Ph.D. student at the School of Computer Science and Engineering of the Hebrew University of Jerusalem (HUJI). My research primarily focuses on proof production for deep neural network (DNN) verification, and its theoretical computability and complexity aspects. I am advised by Prof. Guy Katz. As part of my research, I contribute to the Marabou DNN verifier.
I earned both my B.Sc. in computer science and mathematics in the "Amirim" honors program, and my M.Sc. in computer science from HUJI.
Warning
Problem: The current name of your GitHub Pages repository ("Solution: Please consider renaming the repository to "
http://".
However, if the current repository name is intended, you can ignore this message by removing "{% include widgets/debug_repo_name.html %}" in index.html.
Action required
Problem: The current root path of this site is "baseurl ("_config.yml.
Solution: Please set the
baseurl in _config.yml to "