1 / 12

David Harel The Weizmann Institute

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.

korene
Download Presentation

David Harel The Weizmann Institute

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Amir Pnueli A Gentle Giant David Harel The Weizmann Institute Picture taken at Marktoberdorf, 2004

  2. Eulogy delivered at Amir’s funeral Nov. 4, 2009

  3. Amir with Pini Rabinowitz, 2000

  4. Around 1978

  5. Amir was the first to appreciate statecharts Note the temporal logic for explaining the semantics

  6. Reactive systems were “born” on a plane…

  7. Self deprecation: the Muli Safra story…

  8. Receiving the Israel Prize, 2000

  9. 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 [ . . . ]

  10. 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.

  11. 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.

  12. And now a few precious minutes of Amir “live”, to refresh our memory of a truly remarkable scientist, and an amazingly nice person…

More Related