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.
Biographie
[modifier | modifier le code]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]- F. Bornemann, « Primes is in P: A Breakthrough for "Everyman" », Notices of the AMS, vol. 50, no 5, , p. 545-552 (lire en ligne).
- 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).
- (en) « Neeraj Kayal », sur le site du Mathematics Genealogy Project
- IIT Kanpur Alumni Association, Distinguished Alumnus Award Profile: Neeraj Kayal « Copie archivée » (version du sur Internet Archive)
- European Association for Theoretical Computer Science (EATCS) announcement of 2006 Godel prize
- Fulkerson Prize Announcements
- « Young Scientists 2012 Award Announcement »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)
- « Infosys Prize - Laureates 2021 - Dr. Neeraj Kayal », sur www.infosys-science-foundation.com (consulté le )
- (de)/(en) Cet article est partiellement ou en totalité issu des articles intitulés en allemand « Neeraj Kayal » (voir la liste des auteurs) et en anglais « Neeraj Kayal » (voir la liste des auteurs).
Liens externes
[modifier | modifier le code]
- Ressources relatives à la recherche :
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
