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