Amir Pnueli

Amir Pnueli adalah seorang ilmuwan komputer Israel dan penerima Penghargaan Turing 1996.