Маниндра Агравал (родился 20 мая 1966 года) — индийский учёный-компьютерщик и профессор кафедры компьютерных наук и инженерии Индийского технологического института в Канпуре . [1] Он был лауреатом первой премии Infosys по математике, [2] премии Геделя в 2006 году; и премию Шанти Сварупа Бхатнагара в области математических наук в 2003 году. В 2013 году он был удостоен Падма Шри , четвертой по величине гражданской награды Индии .
Вместе с Нираджем Кайалом и Нитином Саксеной он создал тест на простоту AKS , за который он и его соавторы выиграли премию Фулкерсона в 2006 году и премию Гёделя в 2006 году . За эту работу он также был удостоен премии Clay Research Award 2002 года. Тест является первым безусловным детерминированным алгоритмом , проверяющим n -значное число на простоту за время, которое, как было доказано, является полиномиальным по n . [5]
В сентябре 2008 года Агравал был выбран на первую премию Infosys Mathematics Prize за выдающийся вклад в широкую область математики. [6] Он также входил в состав жюри по математическим наукам премии Infosys в 2014 и 2015 годах. В 2003–2004 годах он был приглашенным научным сотрудником в Институте перспективных исследований . [7]
Агарвал занимал должность заместителя директора ИИТ Канпура с 2017 по 2021 год.