Iowa State University

Of Science and Technology

Robert Srewart Distinguished Lectureship

Awarded To

Amir Pnueli

For his seminal work introducing

temporal logic into computing

science and for his contributions to

the specification, analysis, and

verification of computer systems.

April 14, 2005

---------------------       -----------------------

Robert M. Stewart           Carl K. Chang

Department of Computer Science