Reuven Peleg
M.Sc. Student at The Katz Lab, Computer Science department at The Hebrew University of Jerusalem
Givat Ram, Jerusalem
Email: reuven.peleg@mail.huji.ac.il
Currently, I am pursuing my M.Sc. in Computer Science at The Hebrew University of Jerusalem, under the supervision of Prof. Guy Katz. My research focuses on the intersection of formal verification and large language models (LLMs), aiming to enhance the reliability and safety of AI systems.
Before that I worked at Mobileye and OrCam Technologies as an algorithm engineer, where I contributed to the development of advanced computer vision algorithms for autonomous driving and assistive technologies. Prior to that I worked at Transmit Security, a cybersecurity startup specializing in identity orchestration and passwordless authentication solutions.
Open source contributions I am proud of include Stockfish commit (tweaking the board evaluation function of the world-leading chess engine) and Mathlib commit (Refining a property of cardinality of sets in Lean’s mathematical library).