Manuel Blum
z Wikipédie, slobodnej encyklopédie
| Manuel Blum | |
|---|---|
| venezuelský informatik | |
|
|
|
| Narodenie | 26. apríl 1938 (75 rokov) Caracas, Venezuela |
|
Pozri aj Biografický portál |
|
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.