Neeraj Kayal ( hi, नीरज कयाल) is an Indian

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus ( ...

and

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

noted for development of the

AKS primality test The AKS primality test (also known as Agrawal–Kayal–Saxena primality test and cyclotomic AKS test) is a deterministic primality-proving algorithm created and published by Manindra Agrawal, Neeraj Kayal, and Nitin Saxena, computer scientists ...

, along with

Manindra Agrawal Manindra Agrawal (born 20 May 1966) is a professor at the Department of Computer Science and Engineering and the Deputy Director at the Indian Institute of Technology, Kanpur. He was also the recipient of the first Infosys Prize for Mathematics ...

and

Nitin Saxena Nitin Saxena (born 3 May 1981Saxena's CV at University of Bonn
) is ...

. Kayal was born and raised in

Guwahati Guwahati (, ; formerly rendered Gauhati, ) is the biggest city of the Indian state of Assam and also the largest metropolis in northeastern India. Dispur, the capital of Assam, is in the circuit city region located within Guwahati and is the ...

India India, officially the Republic of India ( Hindi: ), is a country in South Asia. It is the seventh-largest country by area, the second-most populous country, and the most populous democracy in the world. Bounded by the Indian Ocean on the ...

Early life and education

Kayal was born and raised in

. Kayal graduated with a

B.Tech A Bachelor of Technology (Latin ''Baccalaureus Technologiae'', commonly abbreviated as B.Tech. or BTech; with honours as B.Tech. (Hons.)) is an undergraduate academic degree conferred after the completion of a three to five-year program of stud ...

from the

Computer Science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

Department of the

Indian Institute of Technology, Kanpur The Indian Institute of Technology Kanpur (IIT Kanpur) Hindi: भारतीय प्रौद्योगिकी संस्थान कानपुर) is a public institute of technology located in Kanpur, Uttar Pradesh, India. It was ...

(IITK), India in 2002. In that year, Neeraj along with

and

Nitin Saxena Nitin Saxena (born 3 May 1981Saxena's CV at University of Bonn
) is ...

proposed the

, which attracted worldwide attention, including an article in ''

The New York Times ''The New York Times'' (''the Times'', ''NYT'', or the Gray Lady) is a daily newspaper based in New York City with a worldwide readership reported in 2020 to comprise a declining 840,000 paid print subscribers, and a growing 6 million paid ...

''. Kayal received his PhD in

theoretical computer science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

from the Department of Computer Science and Engineering at the Indian Institute of Technology,

Kanpur Kanpur or Cawnpore ( /kɑːnˈpʊər/ pronunciation ( help· info)) is an industrial city in the central-western part of the state of Uttar Pradesh, India. Founded in 1207, Kanpur became one of the most important commercial and military station ...

. He did

postdoctoral research A postdoctoral fellow, postdoctoral researcher, or simply postdoc, is a person professionally conducting research after the completion of their doctoral studies (typically a PhD). The ultimate goal of a postdoctoral research position is to pu ...

at the

Institute for Advanced Study The Institute for Advanced Study (IAS), located in Princeton, New Jersey, in the United States, is an independent center for theoretical research and intellectual inquiry. It has served as the academic home of internationally preeminent scholar ...

Princeton Princeton University is a private research university in Princeton, New Jersey. Founded in 1746 in Elizabeth as the College of New Jersey, Princeton is the fourth-oldest institution of higher education in the United States and one of the ni ...

and at

Rutgers University Rutgers University (; RU), officially Rutgers, The State University of New Jersey, is a public land-grant research university consisting of four campuses in New Jersey. Chartered in 1766, Rutgers was originally called Queen's College, and wa ...

. Since 2008, he has been working with the

Microsoft Research Microsoft Research (MSR) is the research subsidiary of Microsoft. It was created in 1991 by Richard Rashid, Bill Gates and Nathan Myhrvold with the intent to advance state-of-the-art computing and solve difficult world problems through technologi ...

Lab India as a researcher.

Awards

Neeraj Kayal was given the Distinguished

Alumnus Alumni (singular: alumnus (masculine) or alumna (feminine)) are former students of a school, college, or university who have either attended or graduated in some fashion from the institution. The feminine plural alumnae is sometimes used for grou ...

Award of the IITK, for his work in

computational complexity theory In theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage, and relating these classes to each other. A computational problem is a task solved ...

. He is also a recipient of the

Gödel prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Intere ...

and the

Fulkerson Prize The Fulkerson Prize for outstanding papers in the area of discrete mathematics is sponsored jointly by the Mathematical Optimization Society (MOS) and the American Mathematical Society (AMS). Up to three awards of $1,500 each are presented at e ...

for the same along with his co-authors. In 2012, he was awarded the Young Scientist Award from the

Indian National Science Academy The Indian National Science Academy (INSA) is a national academy in New Delhi New Delhi (, , ''Naī Dillī'') is the Capital city, capital of India and a part of the NCT Delhi, National Capital Territory of Delhi (NCT). New Delhi is t ...

(INSA) for contributions to the development of arithmetic complexity theory including the development of a deterministic algorithm for primality testing, the resolution of the constant fan-in conjecture for depth three circuits, and a reconstruction algorithm for arithmetic formulas. In 2021, he won the

Infosys Prize The Infosys Prize is an annual award given to scientists, researchers, engineers and social scientists of Indian origin (not necessarily born in India) by the Infosys Science Foundation and ranks among the highest monetary awards in India to re ...

in Mathematical Sciences.

References

External links

Neeraj Kayal homepage

Distinguished Alumnus Award Profile: Neeraj Kayal
at the IIT Kanpur Alumni Association. {{DEFAULTSORT:Kayal, Neeraj Year of birth missing (living people) Living people IIT Kanpur alumni Indian computer scientists Theoretical computer scientists Microsoft employees Gödel Prize laureates Scientists from Guwahati