david harel the weizmann institute
DESCRIPTION
Amir Pnueli A Gentle Giant. David Harel The Weizmann Institute. Picture taken at Marktoberdorf, 2004. Eulogy delivered at Amir’s funeral Nov. 4, 2009. Amir with Pini Rabinowitz, 2000. Around 1978. Amir was the first to appreciate statecharts. - PowerPoint PPT PresentationTRANSCRIPT
David HarelThe Weizmann Institute
Amir PnueliA Gentle Giant
Picture taken at Marktoberdorf, 2004
Eulogy delivered at Amir’s funeral
Nov. 4, 2009
Amir with Pini Rabinowitz, 2000
Around 1978
Amir was the first to appreciate statecharts
Note the temporal logic for explaining the semantics
Reactive systems were “born” on a plane…
Self deprecation: the Muli Safra story…
Receiving the Israel Prize, 2000
The closing section of a paper joint with Hillel Kugler, just sent to one of the volumes to be published in Amir’s
memory:
6 .A Pledge
We are fully aware of the fact that in this paper we have only touched upon the topic
of] . . . [
The truth is that not only do we deeply miss Amir Pnueli personally, but we are confident that he would have been the ideal colleague
with whom to continue this line of work .
His pioneering research on hybrid systems, his unparalleled understanding of semantic issues for reactivity, and his rare scientific wisdom, would all have made the future work on this topic far easier, and the results far better than we can ever expect them to become in his absence.
Nevertheless, we pledge to forge forward with this work, with whatever meager talents and abilities we can muster, and bring it to a state where it can be seriously evaluated and hopefully then adopted and used beneficially.
And now a few precious minutes of Amir “live”, to refresh our memory of a
truly remarkable scientist, and an amazingly nice
person…