Neeraj Kayal

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)

modifier

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

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 (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

  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.org • Wikiwix • Google • Que faire ?)
  8. ↑ « Infosys Prize - Laureates 2021 - Dr. Neeraj Kayal », sur www.infosys-science-foundation.com (consulté le )

Liens externes

v · m
Lauréats du prix Gödel

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.