Content-Length: 111561 | pFad | http://fr.wikipedia.org/wiki/Neeraj_Kayal

Neeraj Kayal — Wikipédia Aller au contenu

Neeraj Kayal

Un article de Wikipédia, l'encyclopédie libre.
Neeraj Kayal

Naissance Guwahati en Inde
Domaines Mathématiques, Informatique théorique
Institutions Microsoft Research en Inde (2008-)
Formation Institut indien de technologie de Kanpur (IITK)
Directeur de thèse Manindra Agrawal
Renommé pour Test de primalité AKS
Distinctions Prix Gödel (2006), Prix Fulkerson (2006)

Neeraj Kayal (en hindi : नीरज कयाल) est un mathématicien et informaticien indien, né à Guwahati en Inde. Il est surtout connu pour avoir découvert, alors qu'il était encore étudiant, avec son professeur Manindra Agrawal et son co-étudiant Nitin Saxena, un algorithme polynomial de test de primalité, appelé d'après leurs initiales le test de primalité AKS.

Kayal obtient un Bachelor of Technology (en) en informatique à l'Institut indien de technologie de Kanpur (IITK) en 2002. Cette même année il propose, avec Manindra Agrawal et Nitin Saxena le test de primalité AKS qui a eu un grand retentissement[1],[2].

Kayal obtient un Ph. D. en informatique théorique au département d’informatique du IITK[3], sous la direction de Manindra Agrawal, en 2006 (titre de la thèse : « Derandomizing Some Number-Theoretic and Algebraic Algorithms »). Il est ensuite chercheur postdoctoral à l'Institute for Advanced Study de l'Université de Princeton et à l'Université Rutgers. Depuis 2008, il travaille comme chercheur chez Microsoft Research en Inde.

Prix et distinctions

[modifier | modifier le code]
  • Neeraj Kayal reçoit le « Distinguished Alumnus Award of the IITK »[4] décerné par l’association des anciens élèves de l'IITK, pour ses travaux en théorie de la complexité (informatique théorique).
  • En 2006, il est lauréat du prix Gödel[5] avec Manindra Agrawal et Nitin Saxena pour leur test de primalité.
  • La même année, il est récipiendaire du prix Fulkerson[6] avec ses coauteurs pour le même test de primalité.
  • En 2012, il obtient le « Young Scientist Award » de la Indian National Science Academy (en) (INSA) pour ses contributions au développement de test de primalité, mais aussi pour sa résolution de la conjecture du fan-in borné pour des circuits de profondeur trois, et pour un algorithme de reconstruction de formules algorithmiques[7].
  • En 2021, il est lauréat du prix Infosys, décerné « pour ses contributions exceptionnelles à la complexité informatique. En particulier, le travail étendu et innovant sur le calcul algébrique qui inclut le développement de techniques de limites inférieures profondes prouvant les limitations de ce modèle naturel, ainsi que la conception d'algorithmes efficaces pour la reconstruction et l'équivalence de tels circuits algébriques »[8].

Notes et références

[modifier | modifier le code]
  1. F. Bornemann, « Primes is in P: A Breakthrough for "Everyman" », Notices of the AMS, vol. 50, no 5,‎ , p. 545-552 (lire en ligne).
  2. L'article « définitif », revu par les pairs, est paru en 2004 : Manindra Agrawal, Neeraj Kayal et Nitin Saxena, « PRIMES is in P », Annals of Mathematics. Second Series, vol. 160, no 2,‎ , p. 781-793 (DOI 10.4007/annals.2004.160.781, MR MR2123939, zbMATH 02157791, lire en ligne).
  3. (en) « Neeraj Kayal », sur le site du Mathematics Genealogy Project
  4. IIT Kanpur Alumni Association, Distinguished Alumnus Award Profile: Neeraj Kayal « Copie archivée » (version du sur Internet Archive)
  5. European Association for Theoretical Computer Science (EATCS) announcement of 2006 Godel prize
  6. Fulkerson Prize Announcements
  7. « Young Scientists 2012 Award Announcement »(Archive.orgWikiwixArchive.isGoogleQue faire ?)
  8. « Infosys Prize - Laureates 2021 - Dr. Neeraj Kayal », sur www.infosys-science-foundation.com (consulté le )

Liens externes

[modifier | modifier le code]









ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: http://fr.wikipedia.org/wiki/Neeraj_Kayal

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy