Manuel Blum

z Wikipédie, slobodnej encyklopédie
Jump to navigation Jump to search
Manuel Blum
venezuelský informatik
Manuel Blum
Narodenie26. apríl 1938 (80 rokov)
Caracas, Venezuela
Odkazy
Webstránkacmu.edu
CommonsSpolupracuj na Commons Manuel Blum

Manuel Blum (* 26. apríl 1938, Caracas, Venezuela) je venezuelský informatik židovského pôvodu v súčasnosti žijúci v USA. Je známy najmä vďaka svojej práci v oblasti základov teórie výpočtovej zložitosti (Blumove axiómy) a jej aplikácií v kryptológii a verifikácii programov. Za tento prínos dostal v roku 1995 Turingovu cenu.