Nitin Saxena

Nitin Saxena is a Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Kanpur. He holds a PhD from IIT Kanpur (2006) and a B.Tech from the same institution (2002). His academic career has been centered at IIT Kanpur, where he has made significant contributions to theoretical computer science.

His research focuses on Theoretical Computer Science, particularly Computational Complexity Theory, Algebra, and Algebraic Geometry. His work bridges computer science with advanced mathematical concepts, creating innovative approaches to computational problems. His research has established important connections between algebraic geometry and computational complexity, advancing our understanding of fundamental computational limits.

Saxena's publication record shows consistent high-impact research from 2004 through 2012, with multiple papers appearing in top theoretical computer science venues including STOC, ICALP, and IEEE Conference on Computational Complexity. His work spans circuit complexity, identity testing, algebraic independence, and primality testing, demonstrating both depth and breadth in theoretical computer science.

• Best Paper at ICALP Conference 2011
• IEEE Conference on Computational Complexity Best Paper Award 2006
• IEEE Conference on Computational Complexity Best Student Paper Award 2006
• Goedel Prize 2006
• Fulkerson Prize 2006
• Distinguished Alumnus Award of IIT Kanpur 2003
• Global Indus Technovators Awards 2003

Professor Saxena has received prestigious recognition for his work, most notably the Goedel Prize and Fulkerson Prize in 2006 for the groundbreaking 'PRIMES is in P' paper, which resolved a fundamental question in computational number theory. His research has been consistently supported by the academic community through invitations to special journal issues following conference presentations.

Based in Room 203 of the Department of Computer Science and Engineering at IIT Kanpur, Professor Saxena continues to contribute to theoretical computer science through research, teaching, and academic service.