Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Keyboard shortcuts
h, / search box
j, ↓ next result
k, ↑ prev result
l, o, Enter go
More...
Ctrl+Enter bg
', v new tab
d domain search
t Top
!, 1 !bang dropdown
esc out of bangs
s Did you mean
r related topics
m main results
More explanation...
Amir Pnueli
Amir Pnueli (אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist.
More at Wikipedia
Technion – Israel Institute of Technology alumni
Weizmann Institute faculty
More related topics
Turing Award laureates
Israel Prize in computer sciences recipients
Programming language researchers
Formal methods people
Members of the Israel Academy of Sciences and Humanities
Theoretical computer scientists
Fellows of the Association for Computing Machinery
New York University faculty
This page requires Javascript.Get the non-JS version
here
.