Manuel Blum: Rozdiel medzi revíziami

'''Manuel Blum''' (* [[26. apríl]] [[1938]], [[Caracas]], [[Venezuela]]) je venezuelský [[informatika|informatik]] [[Židia (etnikum)|židovského]] pôvodu v súčasnosti žijúci v [[Spojené štáty|USA]]. Je známy najmä vďaka svojej práci v oblasti základov teórie [[výpočtová zložitosť|výpočtovej zložitosti]] ([[Blumove axiómy]]) a jej aplikácií v [[kryptológia|kryptológii]] a [[verifikácia programov|verifikácii programov]]. Za tento prínos dostal v roku [[1995]] [[Turingova cena|Turingovu cenu]].