, ▁P n uel i ▁received ▁the ▁T uring ▁Award ▁for ▁sem inal ▁work ▁introdu cing ▁temporal ▁logic ▁into ▁computing ▁science ▁and ▁for ▁out standing ▁contributions ▁to ▁program ▁and ▁systems ▁ver ification . ▁ ▁On ▁May ▁ 3 0 , ▁ 1 9 9 7 ▁P n uel i ▁received ▁an ▁honor ary ▁doctor ate ▁from ▁the ▁Fac ulty ▁of ▁Science ▁and ▁Technology ▁at ▁U pp s ala ▁University , ▁Sweden . ▁ ▁In ▁ 1 9 9 9 , ▁he ▁was ▁induct ed ▁as ▁a ▁Foreign ▁Associ ate ▁of ▁the ▁U . S . ▁National ▁Academy ▁of ▁Engineering . ▁ ▁In ▁ 2 0 0 0 , ▁he ▁was ▁awarded ▁the ▁Israel ▁Prize , ▁for ▁computer ▁science . ▁▁ ▁In ▁ 2 0 0 7 , ▁he ▁was ▁induct ed ▁as ▁a ▁Fellow ▁of ▁the ▁Association ▁for ▁Comput ing ▁Mach in ery . ▁ ▁The ▁We iz mann ▁Institute ▁of ▁Science ▁presents ▁a ▁mem orial ▁lecture ▁series ▁in ▁his ▁honour . ▁ ▁See ▁also ▁ ▁Import ant ▁publications ▁in ▁formal ▁ver ification ▁ ▁List ▁of ▁Israel ▁Prize ▁recip ients ▁ ▁References ▁ ▁External ▁links ▁ ▁New ▁York ▁University ▁home page ▁ ▁Short ▁bi ography ▁ ▁We iz mann ▁Institute ▁home page ▁ ▁Profile ▁▁▁ ▁Category : 1 9 4 1 ▁birth s ▁Category : 2 0 0 9 ▁death s ▁Category : F ell ows ▁of ▁the ▁Association ▁for ▁Comput ing ▁Mach in ery ▁Category : Form al ▁methods ▁people ▁Category : Is ra eli ▁Jews ▁Category : Is ra eli ▁computer