Miklós Ajtai

Miklós Ajtai (, Budapest, Hongrie - ) est un mathématicien hongrois et chercheur en informatique au centre de recherches IBM d'Almaden. En 2003, il reçoit le prix Knuth pour ses nombreuses contributions au domaine, notamment un algorithme de tri par réseau, développé avec János Komlós (en) et Endre Szemerédi.

Biographie

Miklós Ajtai a reçu son PhD en 1976, à l'université Loránd Eötvös, sous la direction de Andras Hajnal[1].

Travaux

Miklós Ajtai a surtout travaillé selon une approche combinatoire, notamment par théorie de Ramsey. En théorie de la complexité, il a prouvé, par la logique, que la fonction parité ne pouvait pas être calculée dans AC0[2].


Il a aussi copublié avec Paul Erdős (donc son nombre d'Erdős est 1).

Quelques publications

Prix

Miklós Ajtai a gagné le prix Donald E. Knuth en 2003[3].

Notes et références
  1. (en) « Miklós Ajtai », sur le site du Mathematics Genealogy Project
  2. Miklós Ajtai, « ∑ 1 1-formulae on finite structures », Annals of pure and applied logic, vol. 24, no 1,‎ , p. 1-48
  3. (en) « Knuth Prize », sur SIGACT (consulté le )

Liens externes

(en) Page personnelle

  • Portail des mathématiques
  • Portail de la Hongrie
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.