Manuel Blum
Pour les articles homonymes, voir Blum.
Manuel Blum
Manuel Blum et sa femme, Lenore Blum
| Naissance |  (86 ans)Caracas |
|---|---|
| Nationalité | américaine |
| Domicile | Pittsburgh |
| Formation | |
| Activités | Informaticien, professeur d'université |
| Conjoint | Lenore Blum |
| Enfant | Avrim Blum (en) |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | Marvin Minsky |
| Site web | (en) www.cs.cmu.edu/~mblum |
| Distinctions | Prix Turing () IACR Fellow () |
modifier - modifier le code - modifier Wikidata
Manuel Blum (né à Caracas le ) 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, , 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, , p. 448-461 (DOI 10.1016/S0022-0000(73)80033-9, lire en ligne)
Voir aussi
Articles connexes
- Blum Blum Shub, l'algorithme cryptographique
- Cryptosystème de Blum-Goldwasser
Liens externes
- (en) Page personnelle
- Ressources relatives à la recherche
: - Digital Bibliography & Library Project
- Mathematics Genealogy Project
- ResearchGate
Portail de la sécurité informatique 
Portail de Caracas 
Portail de l'informatique théorique
