Page tools

Categories

Fellows of the Association for Computing Machinery
Turing Award laureates
2009 deaths
1941 births
Formal methods people
Programming language researchers
Polytechnic Institute of New York University faculty
Foreign associates of the National Academy of Engineering
Members of the Israel Academy of Sciences and Humanities
Academic staff of Weizmann Institute of Science
Israel Prize in computer sciences recipients
Jewish scientists
Weizmann Institute of Science alumni
Israeli Jews
Academic staff of Tel Aviv University
Technion – Israel Institute of Technology alumni
Tichon Hadash High School (Tel Aviv) alumni
Israeli theoretical computer scientists
Courant Institute of Mathematical Sciences faculty
People from Nahalal

Amir Pnueli: page information

Metadata and maintenance details for this article.

Page ID308365

Revisions0

Words488

OriginImported

CreatedJun 17, 2026, 7:10 AM

UpdatedJun 18, 2026, 1:06 PM