曼紐爾·布盧姆因其在計(jì)算復(fù)雜性理論、密碼學(xué)和程序檢查方面的基礎(chǔ)性工作而獲得哥德?tīng)柂?jiǎng)。他的研究為計(jì)算機(jī)科學(xué)的安全性和可靠性提供了理論基礎(chǔ)。