阿米爾·普努利因?qū)r(shí)序邏輯引入計(jì)算機(jī)科學(xué)而獲得哥德爾獎(jiǎng)。他的工作對(duì)軟件和硬件的形式驗(yàn)證方法產(chǎn)生了重大影響,特別是在并發(fā)系統(tǒng)的驗(yàn)證中。