Manuel Blum

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Manuel Blum
venezuelský informatik

Narodenie 26. apríl 1938 (76 rokov)
Caracas, Venezuela

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.