Neeraj Kayal ( en hindi : नीरज कयाल ) es un científico 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 se crió en Guwahati , India .
Primeros años y educación
Kayal nació y se crió en Guwahati , India .
Kayal se graduó con una licenciatura en ingeniería informática del Departamento de Ciencias de la Computación del Instituto Indio de Tecnología de Kanpur (IITK), India, en 2002. Ese mismo año, Neeraj, junto con Manindra Agrawal y Nitin Saxena, propuso la prueba de primalidad AKS , [ 1 ] que atrajo la atención mundial, incluyendo un artículo en The New York Times . [ 2 ]
Kayal obtuvo su doctorado en informática teórica en el Departamento de Ciencias de la Computación e Ingeniería del Instituto Indio de Tecnología de Kanpur . Realizó una investigación postdoctoral en el Instituto de Estudios Avanzados de Princeton y en la Universidad de Rutgers . Desde 2008, trabaja como investigador en el Laboratorio de Investigación de Microsoft en India.
Premios
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 trabajo, junto con sus coautores. En 2012, recibió el Premio al 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, incluyendo el desarrollo de un algoritmo determinista para la prueba de primalidad, la resolución de la conjetura de la constante fan-in para circuitos de profundidad tres y un algoritmo de reconstrucción para fórmulas aritméticas [ 6 ] .
En 2021, ganó el Premio Infosys en Ciencias Matemáticas. [ 7 ] Se le otorgó el Premio Shanti Swarup Bhatnagar en Ciencias Matemáticas para el año 2022. [ 8 ] Sin embargo, el anuncio de los galardonados para 2022 se realizó en 2023.
Referencias
- ↑ Bornemann, F. Los números primos están en P: Un avance para "Everyman" . Notices of the AMS, mayo de 2003.
- ↑ Robinson, S. (8 de agosto de 2002). "Se dice que un nuevo método resuelve un problema clave en matemáticas" . The New York Times .
- ↑ Asociación de Antiguos Alumnos del IIT Kanpur, Perfil del Premio al Antiguo Alumno Distinguido: Neeraj Kayal Archivado el 9 de septiembre de 2005 en Wayback Machine
- ↑ Anuncio de la Asociación Europea de Ciencias de la Computación Teórica (EATCS) sobre el premio Gödel 2006.
- ↑ Anuncios del Premio Fulkerson
- ↑ Anuncio del premio Jóvenes Científicos 2012
- ↑ "Premio Infosys - Galardonado 2021 - Dr. Neeraj Kayal" . www.infosys-science-foundation.com . Consultado el 3 de diciembre de 2021 .
- ↑ "Detalles del galardonado: Premio Shanti Swarup Bhatnagar 2022" . ssbprize.gov.in .
Enlaces externos
- Página principal de Neeraj Kayal .
- Perfil del premio al exalumno distinguido: Neeraj Kayal en la Asociación de exalumnos del IIT Kanpur.
- Personas vivas
- ex alumnos del IIT Kanpur
- científicos informáticos teóricos indios
- empleados de Microsoft
- laureados con el Premio Gödel
- Científicos de Guwahati