Leonard Adleman

Leonard Adleman

Leonard Max Adleman (né le 31 décembre 1945 à San Francisco , Californie ) est un professeur américain d' informatique et de biologie moléculaire à l' Université de Californie du Sud à Los Angeles . Pour le développement de RSA - algorithme , il a reçu le 2002 Prix Turing , l' un des plus grands honneurs dans le domaine de la science informatique.

Biographie

Adleman a grandi à San Francisco. Il a étudié à l' Université de Californie à Berkeley , où il a obtenu son baccalauréat en 1968 . Il a ensuite commencé à travailler comme programmeur à la Bank of America et a hésité entre d'autres études en physique ou en médecine. Un article sur le théorème de Gödel par Martin Gardner l'a fait passer à l'informatique. En 1976, il a obtenu son doctorat en génie électrique et informatique ( génie électrique et informatique , EECS) à Manuel Blum ( Aspects théoriques des nombres des complexités informatiques ). Il a ensuite été instructeur à partir de 1976, professeur assistant à partir de 1977 et professeur agrégé de mathématiques à partir de 1979 au MIT , où il a rencontré Ronald L. Rivest et Adi Shamir , avec qui il a développé l'algorithme RSA. Ils ont vendu RSA Data Security Inc., fondée en 1983 et dont Adleman était président, pour 200 millions de dollars en 1996. En 1980, il est allé à l'Université de Californie du Sud à Los Angeles en tant que professeur associé, où il est professeur depuis 1983, et professeur Henri Salvatori depuis 1985 .

En collaboration avec Carl Pomerance et Robert Rumely , il a également développé le test de primalité Adleman-Pomerance-Rumely (APR, également APRCL, amélioré par Henri Cohen et Hendrik Lenstra ).

Avec Roger Heath-Brown, il a prouvé qu'il y a une infinité d'exposants premiers auxquels la conjecture de Fermat est vraie.

Comme Adi Shamir pour le problème initial du sac à dos , il a trouvé des méthodes au début des années 1980 pour briser les cryptosystèmes Merkle-Hellman améliorés .

Avant que Manindra Agrawal prouve qu'il existe un algorithme déterministe polynomial pour les tests de primalité, il a prouvé avec M.-DA Huang qu'un algorithme aléatoire existe en temps polynomial. Auparavant, en 1977, Robert M. Solovay et Volker Strassen avaient déjà montré l'existence d'un algorithme aléatoire temporel polynomial pour le test de primalité dans les nombres composites.

Adleman a également traité des virus informatiques (l'inventeur des virus informatiques, Fred Cohen , a fait son doctorat sur le virus en 1986, avec les premières publications à ce sujet en 1984) et aussi de l'immunologie "biologique". Avec David Wofsy, il a étudié le déclin des cellules T dans le sida et les a retracées à un mécanisme homéostatique . Au départ, cependant, les immunologistes ont accordé peu d'attention à leur travail. Mais cela a suscité son intérêt pour la biologie moléculaire, qu'il a également étudiée pratiquement à l' Université de Californie à San Francisco . Il a remarqué une analogie entre l' ADN polymérase et les machines de Turing , qui l'a inspiré à mener ses propres expériences. En 1994, dans sa publication Molecular Computation of Solutions To Combinatorial Problems, il a présenté l'utilisation expérimentale de l'acide désoxyribonucléique (ADN) en tant que système informatique, ce qui a fait de lui le fondateur de l'informatique par ADN . Dans l'article, il a résolu un problème de cercle de Hamilton dans un graphe à sept nœuds à l'aide de l'ADN et a ainsi décrit la première tentative réussie d'utiliser un bio - ordinateur . En 2002, Adleman a réussi à résoudre un problème beaucoup plus complexe avec l'ordinateur ADN. C'était un problème 3-SAT , un problème de satisfiabilité spécial en logique propositionnelle , avec 20 variables et plus d'un million de résultats potentiels.

En 1992, Adleman était également conseiller en mathématiques pour le film Sneakers - The Silent .

Il est membre de la National Academy of Engineering depuis 1996 . Pour l'invention de la méthode RSA, avec Rivest et Shamir, il a reçu le Turing Award (2002) en 2000, le IEEE Kobayashi Award et en 1996 le prix ACM Paris-Kanellakis avec ceux-ci et Whitfield Diffie , Martin Hellman , Ralph Merkle . En 2006, il a été élu à l' American Academy of Arts and Sciences et à la National Academy of Sciences , et en 2018, il a été intronisé au National Inventors Hall of Fame .

Adleman est marié et père de trois enfants.

Polices

  • Avec Kevin S. McCurley: Problèmes ouverts en complexité théorique des nombres. Dans: David S. Johnson et al. (Ed.): Algorithmes discrets et complexité. Academic Press 1986, p. 237-262
  • Avec Kevin S. McCurley: Problèmes ouverts dans la complexité de la théorie des nombres, II. ANTS-I (Notes de cours Computer Science 877), Springer-Verlag 1994, pp. 291-322

liens web

Preuve individuelle

  1. ↑ Rivest, Shamir, Adleman: une méthode pour obtenir des signatures numériques et des cryptosystèmes à clé publique . Communications de l'ACM, Vol.2, No.2, 1978, pp. 120-126
  2. ^ Adleman, Rumely, Pomerance: Sur la distinction des nombres premiers des nombres composites . Annals of Mathematics, Vol. 117, 1983, pp. 173-206. Selon Adleman ( Adleman Papers ( Souvenir de l' original du 4 mars 2016 dans les archives Internet ) Info: Le lien de l' archive a été inséré automatiquement et n'a pas encore été vérifié. Veuillez vérifier l'original et le lien d'archive selon les instructions , puis supprimez cette note. ) Ceci est le premier travail sur l'informatique, publié dans la prestigieuse revue américaine de mathématiques Annals of Mathematics. @1@ 2Modèle: Webachiv / IABot / www.usc.edu
  3. ^ Adleman, Heath-Brown: Le premier cas du dernier théorème de Fermat . Inventiones Mathematicae, vol. 79, 1985, pp. 409-416
  4. ↑ Adleman, Huang: Test de primauté et variétés abéliennes bidimensionnelles sur des champs finis . Springer, Notes de cours en mathématiques Vol. 1512, 1992.
  5. ↑ Solovay, Strassen: Un test rapide de Monte-Carlo pour la primauté . SIAM Journal of Computing, Vol.6, 1977, pp. 84-85
  6. ^ Adleman: Une théorie abstraite des virus informatiques . Advances in Cryptography - Crypto `88, Springer, Lecture Notes in Computer Science, 1988, pp. 354-374. Contribution à LJ Hoffman (éditeur): Rogue Programs , Van Nostrand Reinhold, New York, 1990
  7. ↑ Science, Vol.26, 1994, pp. 1021-1024
  8. ↑ Richard Lipton avait déjà résolu un problème SAT en 1995 avec un calculateur ADN
  9. ↑ Adleman en tant que conseiller mathématique dans le film Sneakers - Die Lautlosen ( Souvenir de l' original du 1er novembre 2015 dans les archives Internet ) Info: Le lien de l' archive a été inséré automatiquement et n'a pas encore été vérifié. Veuillez vérifier le lien d'origine et d'archive conformément aux instructions , puis supprimez cet avis. @1@ 2Modèle: Webachiv / IABot / www.usc.edu
données personnelles
NOM DE FAMILLE Adleman, Leonard
NOMS ALTERNATIFS Adleman, Len; Adleman, Leonard Max; Adleman, Leonard M.
BRÈVE DESCRIPTION Mathématicien et cryptologue américain
DATE DE NAISSANCE 31 décembre 1945
LIEU DE NAISSANCE San Francisco , Californie