Neeraj Kayal
Encyclopedia
Neeraj Kayal is an India
n computer scientist
. Kayal was born and raised in Guwahati
, India.
Kayal graduated with a B.Tech from the Computer Science
Department of the Indian Institute of Technology, Kanpur (IITK), India in 2002. In that year, he, Manindra Agrawal
and Nitin Saxena
proposed the AKS Primality Test
, which attracted worldwide attention, including an article in the New York Times.
He was given the Distinguished Alumnus
Award of the IITK, for his work in computational complexity theory
. He is also a recipient of the Gödel prize
and the Fulkerson Prize
for the same along with his co-authors.
Kayal received his PhD in theoretical computer science from the Department of Computer Science and Engineering at the Indian Institute of Technology, Kanpur. He did postdoctoral research at the Institute for Advanced Study
in Princeton and at Rutgers University
. He currently works as a researcher with the Microsoft Research
Lab India.
India
India , officially the Republic of India , is a country in South Asia. It is the seventh-largest country by geographical area, the second-most populous country with over 1.2 billion people, and the most populous democracy in the world...
n computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
. Kayal was born and raised in Guwahati
Guwahati
Guwahati, Pragjyotishpura in ancient Assam formerly known as Gauhati is a metropolis,the largest city of Assam in India and ancient urban area in North East India, with a population of 963,429. It is also the largest metropolitan area in north-eastern India...
, India.
Kayal graduated with a B.Tech from the Computer Science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
Department of the Indian Institute of Technology, Kanpur (IITK), India in 2002. In that year, he, Manindra Agrawal
Manindra Agrawal
Manindra Agrawal is a professor at the department of computer science and engineering and the Dean of Resource, Planning and Generation at the Indian Institute of Technology, Kanpur. He is also the recipient of the first Infosys Prize for Mathematics.-Early life:Manindra Agrawal obtained a...
and Nitin Saxena
Nitin Saxena
Nitin Saxena is an Indian scientist, active in the fields of mathematics and theoretical computer science. His research focuses on topics in computational complexity, especially algebraic approaches....
proposed the AKS Primality Test
AKS primality test
The AKS primality test is a deterministic primality-proving algorithm created and published by three Indian Institute of Technology Kanpur computer scientists, Manindra Agrawal, Neeraj Kayal, and Nitin Saxena, on August 6, 2002, in a paper titled "PRIMES is in P"...
, which attracted worldwide attention, including an article in the New York Times.
He was given the Distinguished Alumnus
Alumnus
An alumnus , according to the American Heritage Dictionary, is "a graduate of a school, college, or university." An alumnus can also be a former member, employee, contributor or inmate as well as a former student. In addition, an alumna is "a female graduate or former student of a school, college,...
Award of the IITK, for his work in computational complexity theory
Computational complexity theory
Computational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other...
. He is also a recipient of the Gödel prize
Gödel Prize
The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory .The...
and the Fulkerson Prize
Fulkerson Prize
The Fulkerson Prize for outstanding papers in the area of discrete mathematics is sponsored jointly by the Mathematical Programming Society and the American Mathematical Society . Up to three awards of $1500 each are presented at each International Symposium of the MPS...
for the same along with his co-authors.
Kayal received his PhD in theoretical computer science from the Department of Computer Science and Engineering at the Indian Institute of Technology, Kanpur. He did postdoctoral research at the Institute for Advanced Study
Institute for Advanced Study
The Institute for Advanced Study, located in Princeton, New Jersey, United States, is an independent postgraduate center for theoretical research and intellectual inquiry. It was founded in 1930 by Abraham Flexner...
in Princeton and at Rutgers University
Rutgers University
Rutgers, The State University of New Jersey , is the largest institution for higher education in New Jersey, United States. It was originally chartered as Queen's College in 1766. It is the eighth-oldest college in the United States and one of the nine Colonial colleges founded before the American...
. He currently works as a researcher with the Microsoft Research
Microsoft Research
Microsoft Research is the research division of Microsoft created in 1991 for developing various computer science ideas and integrating them into Microsoft products. It currently employs Turing Award winners C.A.R. Hoare, Butler Lampson, and Charles P...
Lab India.
External links
- Neeraj Kayal's Homepage.
- Distinguished Alumnus Award Profile: Neeraj Kayal at the IIT Kanpur Alumni Association.