Neeraj Kayal ( hindi : नीरज कयाल ) es un informático y matemático indio conocido por el desarrollo de la prueba de primalidad AKS , junto con Manindra Agrawal y Nitin Saxena . Kayal nació y creció en Guwahati , India .
Kayal nació y creció en Guwahati , India .
Kayal se graduó con una licenciatura en tecnología del Departamento de Ciencias de la Computación del Instituto Indio de Tecnología, Kanpur (IITK), India en 2002. En ese año, Neeraj junto con Manindra Agrawal y Nitin Saxena propusieron la prueba de primalidad AKS , [1] que atrajo la atención mundial, incluido un artículo en The New York Times . [2]
Kayal recibió su doctorado en informática teórica del Departamento de Ingeniería y Ciencias de la Computación del Instituto Indio de Tecnología, Kanpur . Realizó investigaciones postdoctorales en el Instituto de Estudios Avanzados de Princeton y en la Universidad de Rutgers . Desde 2008, trabaja como investigador en el Microsoft Research Lab India.
Neeraj Kayal recibió el premio al alumno distinguido del IITK, [3] por su trabajo en teoría de la complejidad computacional . También recibió el premio Gödel [4] y el premio Fulkerson [5] por el mismo junto con sus coautores. En 2012, recibió el Premio Joven Científico de la Academia Nacional de Ciencias de la India (INSA) por sus contribuciones al desarrollo de la teoría de la complejidad aritmética, incluido el desarrollo de un algoritmo determinista para pruebas de primalidad, la resolución de la conjetura de abanico constante para la profundidad tres circuitos y un algoritmo de reconstrucción de fórmulas aritméticas. [6]
En 2021 ganó el Premio Infosys en Ciencias Matemáticas. [7] Recibió el Premio Shanti Swarup Bhatnagar en Ciencias Matemáticas para el año 2022. [8] Sin embargo, el anuncio de los premiados para 2022 se realizó en 2023.