« Mark S. Manasse » : différence entre les versions
Nouvelle page : {{Infobox Biographie2 |wikidata = Q1145459}} '''Mark Steven Manasse''', né le 20 mai 1958, est un informaticien et mathématicien américain qui travaille en théorie algorithmique des nombres. == Biographie == Mark Manasse étudie à partir de 1975 à l'Université Harvard (B. Sc. « cum laude » en 1978) et à l'Université du Wisconsin à Madison, où il obtient un maîtrise en mathématiques (1979) et une autre en informatique (1... |
(Aucune différence)
|
Version du 26 janvier 2024 à 20:26
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse |
Terry Millar (en) |
Mark Steven Manasse, né le 20 mai 1958, est un informaticien et mathématicien américain qui travaille en théorie algorithmique des nombres.
Biographie
Mark Manasse étudie à partir de 1975 à l'Université Harvard (B. Sc. « cum laude » en 1978) et à l'Université du Wisconsin à Madison, où il obtient un maîtrise en mathématiques (1979) et une autre en informatique (1981) et il soutient un Ph. D. en 1982 supervisé par Terry Millar (en) en logique mathématique (Techniques and Counterexamples in Almost Categorical Recusive Model Theory)[1]. Il est chercheur postdoctoral aux Laboratoires Bell et, après un séjour comme professeur assistant invité à l'Université de Chicago en 1984, il est, à partir de 1985, employé à la Digital Equipment Corporation (DEC) à Palo Alto au Systems Research Center (SRC). À partir de 2001, il travaille chez Microsoft Research à Mountain View .
Activités
Parmi ses travaux dans l'industrie, il y a l'organisation de la mémoire des architectures multiprocesseurs et la recherche d'algorithmes compétitifs[2], des développements sur des systèmes Windows, du calcul distribué, des protocoles cryptographiques pour le micropaiement (projet Milli Cent, 1995) ainsi que des structures syntaxiques pour de grands volumes de documents World Wide Web.
Avec Arjen Lenstra, Hendrik Lenstra et John Pollard il développe le crible algébrique[3] pour la factorisation de grands nombres. En 1990, ils arrivent à factorisent ainsi le neuvième nombre de Fermat[4], ce qui confirmé l'efficacité du crible algébrique qui, au cours des années 1990, remplace progressivement le crible quadratique comme méthode la plus puissante. Au DEC, il implémente également plusieurs autres algorithmes de factorisation (Multiple Polynomial Quadratic Sieve et Elliptic Curve) avec Arjen Lenstra dans les systèmes informatiques distribués[5]. À la suite ces travaux, l'informatique distribuée a été utilisée pour factoriser RSA-120[6] et par un groupe dirigé par Arjen Lenstra, Derek Atkins, Michael Graff et Paul Leyland et comportant plus de 600 volontaires pour factoriser le nombre RSA-129 (sur un réseau d'ordinateurs en réseau, avec un total cumulé de huit mois de temps de calcul), factorisation que Martin Gardner avait, dans sa chronique du Scientific American, estimé être pratiquement impossible en 1976.
Notes et références
- (de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Mark S. Manasse » (voir la liste des auteurs).
- (en) « Mark S. Manasse », sur le site du Mathematics Genealogy Project
- Anna R. Karlin, Mark S. Manasse, Larry Rudolph et Daniel D. Sleator, « Competitive snoopy caching », Algorithmica, vol. 3, no 1, , p. 79–119 (DOI 10.1007/BF01762111)
- Arjen K. Lenstra, Hendrik W. Lenstra, Mark Manasse et John. Pollard, « The number field sieve », Proceedings of the twenty-second annual ACM symposium on Theory of Computing ( STOC '90), Association for Computing Machinery, , p. 564–572 (ISBN 978-0-89791-361-4, DOI 10.1145/100216.100295)
- A. K. Lenstra, H. W. Lenstra, M. S. Manasse et J. M. Pollard, « The factorization of the ninth Fermat number », Mathematics of Computation, vol. 61, no 203, , p. 319–349 (DOI 10.1090/S0025-5718-1993-1182953-4).
- Arjen K. Lenstra et Mark S. Manasse, « Factoring by electronic mail », Advances in Cryptology — EUROCRYPT ’89, Springer Lecture Notes in Computer Science, , p. 355–371 (DOI 10.1007/3-540-46885-4_35, lire en ligne, consulté le )
- T. Denny, B. Dodson, A. K. Lenstra et M. S. Manasse, « On the factorization of RSA-120 », Advances in Cryptology — CRYPTO’ 93, Springer Lecture Notes in Computer Science, , p. 166–174 (DOI 10.1007/3-540-48329-2_15, lire en ligne, consulté le ).
Liens externes
- Ressources relatives à la recherche :
- Site Web (anglais)
