Accueil🇫🇷Chercher

Johan HĂĄstad

Johan Håstad, né en 1960, est un informaticien théorique suédois connu particulièrement pour son travail sur la complexité algorithmique. Il a obtenu deux fois le prix Gödel et une fois le prix Knuth.

Johan HĂĄstad
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Nationalité
Domicile
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directrice de thèse
Site web
Distinctions
Prononciation

Biographie

Il a reçu son Bachelor of Science en mathématiques à l'université de Stockholm en 1981, son master à l'université d'Uppsala en 1984 et son Ph.D. en mathématiques du Massachusetts Institute of Technology en 1986, sous la direction de Shafi Goldwasser[1] - [2].

Il est chercheur et professeur d'informatique théorique au Kungliga tekniska högskolan (KTH) de Stockholm depuis 1992[3]. Il est membre de l'Académie royale des sciences de Suède depuis 2001[4].

Il est par ailleurs Ă©diteur de plusieurs journaux, dont Theory of computing[5].

Travaux

La thèse de Johan Håstad avait pour objet des bornes inférieures sur des problèmes de circuits booléens. Dans ce domaine, il est connu pour avoir introduit le switching lemma (en)[6], dont l'un des corollaires est que la fonction parité n'est pas dans la classe de complexité appelée AC0. Ces travaux lui ont permis d'obtenir son premier prix Gödel. Il est aussi connu pour ses travaux sur l'inapproximabilité de certains problèmes algorithmiques, basés sur le théorème PCP.

Il a aussi été l'auteur de l'une de premières attaques du chiffrement RSA en 1985[7].

Honneurs

Il a reçu le prix Gödel en 1994[8] et 2011[9] et le Doctoral Dissertation Award de l'Association for Computing Machinery en 1986[10], ainsi que d'autres prix.

Notes et références
  1. CV présent sur la page de Johan Håstad
  2. (en) « Johan Håstad », sur le site du Mathematics Genealogy Project
  3. Page concernée dans la base de données de KTH
  4. Page de Johan Håstad sur le site officiel de l'Académie royale des sciences de Suède
  5. Liste des Ă©diteurs du journal Theory of computing, sur le site officiel.
  6. Johan Håstad, « Almost Optimal Lower Bounds for Small Depth Circuits », dans Proceedings of the 18th Annual {ACM} Symposium on Theory of Computing, May 28-30, 1986, Berkeley, California, {USA}, (DOI 10.1145/12130.12132), p. 6-20
  7. Johan Håstad, « On using RSA with low exponent in a public key network », dans Advances in Cryptology – CRYPTO’85, Lecture Notes in Computer Science, vol. 218, Springer, p. 403-408
  8. Déclaration officielle du prix Gödel 1994
  9. Déclaration officielle du prix Gödel 2011
  10. Liste des récipiendaires des Doctoral Dissertation Award de l'université Carnegie-Mellon

Liens externes
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.