Adi has a B.Sc. in Computer Science and Cognitive Science from the Hebrew University, and an M.Sc. in Computer Science from the Weizmann Institute of Science. Adi’s research was in the fields of biophysical modeling and formal verification, under the supervision of Prof. David Harel. During her studies, she worked as a software developer at Rocketick (then acquired by Cadence) which developed a parallel logic simulation for chip verification.