Manuel Blum
Vzhľad
| Manuel Blum | |
| venezuelský informatik | |
| Narodenie | 26. apríl 1938 (88 rokov) Caracas, Venezuela |
|---|---|
| Odkazy | |
| Webstránka | cmu.edu |
| Commons | |
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.