Ariel is a Co-Founder and a VP Product at Blenture.
Before co-founding Blenture, Ariel worked as researcher at the formal verification group at IBM Haifa Research.
Ariel received a B.A. in Mathematics with Computer Science from the Technion (2002), an M.Sc. from New York University (2004) and a Ph.D. from New York University (2008) -- under the supervision of Amir Pnueli and Lenore D. Zuck.