Ohad has a B.Sc. in Computer Science with an emphasis on Bioinformatics from the Technion (Cum Laude), and currently pursuing M.Sc. in Computer Science from the Technion. Ohad’s research is in developing new SNARG protocols under the supervision of Prof. Yuval Ishai. Ohad has 6 years of experience in research and development in a variety of technological environments. Ohad also took place in one of the earliest projects aiming to code a proof system, under Eli Ben Sasson back in 2011.