Amir Pnueli

Amir PNUELI, , (naskiĝis la , mortis la ) estis israela komputikisto. Li ricevis la Premion Turing en 1996 pro originala laboro kiu enkondukis la tempan logikon en la komputikon, kaj pro kontribuoj al la korektec-kontrolo de programoj kaj sistemoj.ACM

 Referencoj 

Kategorio:Membroj de la Israela Akademio de Sciencoj kaj Beletroj
Kategorio:Turing-Premiitoj