ine ▁( now ▁in ▁Israel ) ▁and ▁received ▁a ▁Bach elor ' s ▁degree ▁in ▁mathematics ▁from ▁the ▁Techn ion ▁in ▁Ha ifa , ▁and ▁ ▁Ph . D . ▁in ▁applied ▁mathematics ▁from ▁the ▁We iz mann ▁Institute ▁of ▁Science . ▁His ▁th esis ▁was ▁on ▁the ▁topic ▁of ▁" Calcul ation ▁of ▁T ides ▁in ▁the ▁Ocean ". ▁He ▁switched ▁to ▁computer ▁science ▁during ▁a ▁st int ▁as ▁a ▁post - do ctor al ▁fellow ▁at ▁Stan ford ▁University . ▁His ▁works ▁in ▁computer ▁science ▁focused ▁on ▁temporal ▁logic ▁and ▁model ▁checking , ▁particularly ▁regarding ▁fair ness ▁properties ▁of ▁concurrent ▁systems . ▁ ▁He ▁returned ▁to ▁Israel ▁as ▁a ▁research er ; ▁he ▁was ▁the ▁founder ▁and ▁first ▁chair ▁of ▁the ▁computer ▁science ▁department ▁at ▁Tel ▁Av iv ▁University . ▁He ▁became ▁a ▁professor ▁of ▁computer ▁science ▁at ▁the ▁We iz mann ▁Institute ▁in ▁ 1 9 8 1 . ▁From ▁ 1 9 9 9 ▁until ▁his ▁death , ▁P n uel i ▁also ▁held ▁a ▁position ▁at ▁the ▁Computer ▁Science ▁Department ▁of ▁New ▁York ▁University , ▁New ▁York , ▁U . S .. ▁ ▁P n uel i ▁also ▁founded ▁two ▁startup ▁technology ▁companies ▁during ▁his ▁career . ▁He ▁had ▁three ▁children ▁and , ▁at ▁his ▁death , ▁had ▁four ▁grand children . ▁ ▁P n uel i ▁died ▁on ▁November ▁ 2 , ▁ 2 0 0 9 ▁of ▁a ▁brain ▁hem or rh age . ▁ ▁Awards ▁and ▁hon ours ▁ ▁In ▁ 1 9 9 6