Amir Pnueli Country: Israel Appointment Title: tekn. dr h.c. University: Uppsala universitet Year: 1997