Manuel Blum et sa femme, Lenore Blum
Biographie Naissance Nationalité Domicile Formation Activités Conjoint Enfant
Avrim Blum (en )
Autres informations A travaillé pour Membre de Directeur de thèse Site web Distinctions
modifier - modifier le code - modifier Wikidata
Manuel Blum (né à Caracas le 26 avril 1938 ) est un informaticien américain , professeur en informatique à l'université Carnegie-Mellon .
Biographie
Blum a fait ses études au MIT où il a notamment fait un doctorat en mathématiques sous la direction de Marvin Minsky jusqu'en 1964.
Il a supervisé de nombreuses thèses, notamment celles de Leonard Adleman , Shafi Goldwasser , Silvio Micali , Gary L. Miller , Michael Sipser , Steven Rudich , Luis von Ahn , Umesh Vazirani et Vijay Vazirani et Moni Naor [ 1] .
Il est marié à Lenore Blum .
Travaux
Une grande partie des travaux de Blum portent sur la calculabilité et la complexité dans un cadre plus général et abstrait que le cadre habituel des machines de Turing . On peut notamment citer les axiomes de Blum (en) , qui redéfinissent les notions de mesures de complexité et de classe de complexité [ 2] .
Blum a aussi travaillé sur de nombreux autres sujets, comme la cryptographie (avec notamment le cryptosystème de Blum-Goldwasser ), le générateur de nombres pseudo-aléatoires Blum Blum Shub et les algorithmes de sélection [ 3] .
Plus récemment, en 2000 , il a co-inventé avec Luis von Ahn , Nicholas Hopper et John Langford, la notion de CAPTCHA .
Distinctions
Il a reçu le prix Turing en 1995 en reconnaissance de ses contributions aux fondements de la théorie de la complexité calculatoire et de ses applications à la cryptographie et à la vérification de programmes .
Notes et références
↑ (en) « Manuel Blum », sur le site du Mathematics Genealogy Project
↑ Article original :
Manuel Blum , « A Machine-Independent Theory of the Complexity of Recursive Functions », Journal of the ACM , vol. 14, no 2, 1967 , p. 322-336 (DOI 10.1145/321386.321395 , lire en ligne )
↑ Voir :
Manuel Blum, Robert W. Floyd , Vaughan R. Pratt (en) , Ronald L. Rivest et Robert Endre Tarjan , « Time Bounds for Selection », J. Comput. Syst. Sci. , vol. 7, no 4, 1973 , p. 448-461 (DOI 10.1016/S0022-0000(73)80033-9 , lire en ligne )
Voir aussi
Articles connexes
Liens externes