Le prix Turing de l'ACM de 1995 a été attribué à Manuel Blum en reconnaissance de ses contributions fondamentales au domaine de la théorie de la complexité the calculatoire et de ses applications dans la cryptographie et la vérification des programmes. Né à Caracas en 1938, cet informaticien vénézuélo-américain a passé des décennies à faire progresser les frontières théoriques des modèles de machines et de l'efficacité algorithmique.
Fondation académique
Blum a poursuivi ses études supérieures au Massachusetts Institute of Technology. Il a obtenu sa licence et sa maîtrise en génie électrique respectivement en 1959 et 1961. Durant son séjour à l'institut, il a collaboré sur des problèmes mathématiques de réseaux de neurones sous la direction de Warren S. McCulloch. En 1964, il a obtenu un doctorat en mathématiques, sa recherche doctorale étant supervisée par Marvin Minsky.
Contributions à la théorie de la complexité
Au cours des années 1960, Blum a été le pionnier d'une théorie de la complexité axiomatique qui fonctionnait indépendamment de modèles de machines spécifiques. Utilisant les numérotations de Gödel et les axiomes de Blum, ses recherches ont produit des résultats significatifs, notamment le théorème de compression, le théorème de l'écart, le théorème de l'honnêteté et le théorème d'accélération. Au-delà de ces fondations axiomatiques, ses travaux comprennent la création de l'algorithme de la médiane des médianes, le générateur de nombres pseudo-aléatoires Blum Blum Shub et le cryptosystème de Blum-Goldwasser. On lui doit également le développement de protocoles tels que pile ou face par téléphone et le CAPTCHA moderne.
Carrière et affiliations professionnelles
Blum a occupé un poste de longue date de professeur d'informatique à l'Université de Californie à Berkeley, où il est resté jusqu'en 2001. Cette année-là, il a accepté le poste de professeur Bruce Nelson d'informatique à l'Université Carnegie Mellon. En 2018, lui et sa femme, Lenore Blum, ont démissionné de leurs fonctions à l'Université Carnegie Mellon à la suite de différends concernant les structures de gestion et le traitement du personnel au sein du projet Olympus. Tout au long de sa carrière, il a encadré de nombreux chercheurs, dont Leonard Adleman, Shafi Goldwasser, Silvio Micali et Luis von Ahn.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Reconnaissance institutionnelle
Blum a été élu à plusieurs instances académiques de haut niveau, notamment la National Academy of Sciences en 2002 et la National Academy of Engineering en 2006 pour ses contributions à la complexité abstraite et aux protocoles cryptographiques. Ses affiliations professionnelles incluent l'American Academy of Arts and Sciences et l'Association for Computing Machinery. Il est membre de l'American Association for the Advancement of Science, de l'IACR et de l'ACM.
En bref
- Naissance : 1938, Caracas, Venezuela - Éducation : Massachusetts Institute of Technology - Prix Turing : 1995 - Employeurs : Université de Californie à Berkeley ; Université Carnegie Mellon - Citoyenneté : États-Unis ; Venezuela - Domaines de travail : Informatique - Contribution majeure : Générateur Blum Blum Shub - Fellowships professionnels : IACR (2012), ACM (2020), AAAS (1983)
Questions posées par les lecteurs
### Quel est le principal domaine de recherche de Manuel Blum ?
Il est spécialisé en informatique, se concentrant spécifiquement sur la théorie de la complexité calculatoire, la cryptographie et la vérification des programmes.
### Quelles universités ont employé Manuel Blum ?
Il a servi comme professeur à l'Université de Californie à Berkeley, puis comme professeur Bruce Nelson d'informatique à l'Université Carnegie Mellon.
