Neeraj Kayal
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.
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) |
Biographie
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
- 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].
Notes et références
- 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, Math Reviews 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 9 septembre 2005 sur l'Internet Archive)
- European Association for Theoretical Computer Science (EATCS) announcement of 2006 Godel prize
- Fulkerson Prize Announcements
- « Young Scientists 2012 Award Announcement »(Archive • Wikiwix • Archive.is • Google • Que faire ?)
- (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
- Neeraj Kayal homepage.
- Ressources relatives à la recherche :
- Portail de l'informatique théorique
- Portail des mathématiques