Manindra Agrawal (nacido el 20 de mayo de 1966) es un informático indio y profesor del Departamento de Ingeniería y Ciencias de la Computación del Instituto Indio de Tecnología de Kanpur . [1] Recibió el primer Premio Infosys de Matemáticas, [2] el Premio Gödel en 2006; y el Premio Shanti Swarup Bhatnagar en Ciencias Matemáticas en 2003. Ha sido honrado con Padma Shri , el cuarto premio civil más importante de la India, en 2013. [3] [4]
Creó la prueba de primalidad AKS con Neeraj Kayal y Nitin Saxena , por la que él y sus coautores ganaron el Premio Fulkerson de 2006 y el Premio Gödel de 2006 . También recibió el premio Clay Research Award 2002 por este trabajo. La prueba es el primer algoritmo determinista incondicional que prueba la primalidad de un número de n dígitos en un tiempo que se ha demostrado que es polinomial en n . [5]
En septiembre de 2008, Agrawal fue elegido para el primer Premio Infosys de Matemáticas por sus destacadas contribuciones en el amplio campo de las matemáticas. [6] También formó parte del jurado de Ciencias Matemáticas para el Premio Infosys en 2014 y 2015. Fue académico visitante en el Instituto de Estudios Avanzados en 2003-04. [7]
Agarwal se desempeñó como subdirector de IIT Kanpur de 2017 a 2021.
El 19 de abril de 2024 fue nombrado Director de IIT Kanpur . [8]