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.
Manuel Blum | |||
venezuelský informatik | |||
Narodenie | 26. apríl 1938 (82 rokov) Caracas, Venezuela | ||
---|---|---|---|
Odkazy | |||
Webstránka | cmu.edu | ||
Commons | Manuel Blum | ||
|
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.