David has an M.Sc. in Mathematics from The Technion and a B.Sc. in Computer Science (Magna cum Laude) and Mathematics (Summa cum Laude) from Tel Aviv University, where he was awarded the Dean’s Prize. He has 8 years of experience in research of mathematical algorithms, information security and formal verification, including at IBM Research. David is a two-time gold medalist of a coding competition held at the Weizmann Institute.