Assaf Schuster
Assaf Schuster is an Israeli professor of computer science whose works have been published in such journals as "Computer Aided Verification" and "Journal of Systems and Software". Schuster earned his Ph.D. from the Hebrew University of Jerusalem in 1991, under the supervision of Eli Shamir. Currently he works at Technion – Israel Institute of Technology. In 2015 he was named a Fellow of the Association for Computing Machinery "for contributions to cloud computing."