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
![Page 1: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/1.jpg)
David HarelThe Weizmann Institute
Amir PnueliA Gentle Giant
Picture taken at Marktoberdorf, 2004
![Page 2: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/2.jpg)
Eulogy delivered at Amir’s funeral
Nov. 4, 2009
![Page 3: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/3.jpg)
Amir with Pini Rabinowitz, 2000
![Page 4: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/4.jpg)
Around 1978
![Page 5: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/5.jpg)
Amir was the first to appreciate statecharts
Note the temporal logic for explaining the semantics
![Page 6: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/6.jpg)
Reactive systems were “born” on a plane…
![Page 7: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/7.jpg)
Self deprecation: the Muli Safra story…
![Page 8: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/8.jpg)
Receiving the Israel Prize, 2000
![Page 9: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/9.jpg)
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] . . . [
![Page 10: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/10.jpg)
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.
![Page 11: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/11.jpg)
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.
![Page 12: David Harel The Weizmann Institute](https://reader035.vdocuments.net/reader035/viewer/2022062409/5681491d550346895db657d4/html5/thumbnails/12.jpg)
And now a few precious minutes of Amir “live”, to refresh our memory of a
truly remarkable scientist, and an amazingly nice
person…