Le prix Turing de l'ACM de 1995 a été décerné à Manuel Blum en reconnaissance de ses contributions fondamentales au domaine de la théorie de la complexité computationnelle et de ses applications dans la cryptographie et la vérification de programmes. Né à Caracas en 1938, cet informaticien vénézuélien-américain a passé des décennies à faire progresser les limites théoriques des modèles de machines et de l'efficacité algorithmique.
Fondations académiques
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 en 1959 et 1961, respectivement. Pendant son séjour à l'institut, il a collaboré sur des problèmes mathématiques de réseaux neuronaux sous la direction de Warren S. McCulloch. En 1964, il a obtenu un doctorat en mathématiques, ses recherches doctorales étant supervisées 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 fondements axiomatiques, ses travaux incluent 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 Blum-Goldwasser. On lui doit également le développement de protocoles tels que le tirage à pile ou face par téléphone et le CAPTCHA moderne.
Carrière et affiliations professionnelles
Blum a occupé un poste de longue date en tant que 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 d'informatique Bruce Nelson à 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 dans plusieurs organismes 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.
Faits rapides
- Né : 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 - Affiliations professionnelles : IACR (2012), ACM (2020), AAAS (1983)
Questions posées par les lecteurs
### Quel est le principal domaine de recherche de Manuel Blum ?
Il se spécialise en informatique, se concentrant spécifiquement sur la théorie de la complexité computationnelle, la cryptographie et la vérification de programmes.
### Quelles universités ont employé Manuel Blum ?
Il a été professeur à l'Université de Californie à Berkeley, puis professeur d'informatique Bruce Nelson à l'Université Carnegie Mellon.
