Amir Pnueli
Videos
Amir Pnueli was an Israeli computer scientist and the 1996 Turing Award recipient.
Amir Pnueli
Doron A. Peled
Videos
Doron A. Peled is a computer science Professor at Bar-Ilan University. His research interests include formal methods, model checking, program synthesis and runtime verification. With Edmund M. Clarke
Amir Pnueli
…Weizmann Institute New York University University of Pennsylvania Stanford University Doctoral students Mordechai Ben-Ari Dana Fisman Nissim Francez Doron A. Peled Ofer Strichman Lenore Zuck Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing…
Doron A. Peled Bar Ilan University