Skip to main content

Memorial Tributes Volume 16 (2012) / Chapter Skim
Currently Skimming:

AMIR PNUELI
Pages 238-243

The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.


From page 239...
... Immediately thereafter he made a transition to computer science, working as a postdoctoral fellow at Stanford University and at IBM's research center in Yorktown Heights, New York, for two years. He returned to Israel in 1968 as a faculty member in the Department of Applied Mathematics at the Weizmann Institute and in 1973 moved to Tel Aviv University, where he founded the Department of Computer Science and was its first chair.
Read the entire page →
From page 240...
... The citation reads: "For his seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification." Throughout the rest of his career, Pnueli continued to extend and strengthen his ideas and to contribute to the development of other verification methods. In a joint paper with David Harel in 1986, they coined the term "reactive system" to describe systems that maintain an ongoing interaction with their environment and argued for its significance; the term has since become deeply ingrained in the literature.
Read the entire page →
From page 241...
... One could start a new piece of work in a discussion with Amir while standing in line for lunch at the cafeteria or during a coffee break at a conference in some remote part of the world. Amir's accomplishments were also honored in 2000 by the Israel Prize, the state's highest honor, and in 2007 by the ACM Software System Award, given to him jointly with a team of colleagues for their work on Statemate, a software engineering tool that evolved from the Statecharts language and that supports visual graphical specifications that represent the intended functions and behavior of a system.
Read the entire page →
From page 242...
... Amir Pnueli died at the scientifically young age of 68, when he was in the process of doing some of his best work. We will never know what else he would have achieved, nor what other ideas and directions he would have brought to computer science, if he had lived another 15 or 20 years, as he so very well deserved.
Read the entire page →

Key Terms

  • david harel
  • weizmann institute
  • tel aviv
  • program verification
  • aviv university

  • intended functions
  • growing field
  • seminal work
  • supports visual
  • deeply ingrained

  • statecharts language
  • direct scientific
  • postdoctoral fellow
  • joseph fourier
  • work introducing

  • computing science
  • continuously growing
  • ongoing interaction
  • development tools
  • archival journal

  • amir pnueli
  • engineering tool
  • casual comportment
  • comportment lay
  • universally acknowledged

  • message switching
  • hallmark unlimited
  • honorary doctorates
  • advanced techniques
  • demeanor belied


    • This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
    More information on Chapter Skim is available.