Neeraj Kayal at the Intersection of Mathematics and Computer Science | Infosys Prize Laureate 2021

Описание: Dr. Neeraj Kayal of Microsoft Research, Bangalore, won the Infosys Prize in Mathematical Sciences in 2021, for his outstanding contributions to Computational Complexity. In particular, Dr. Kayal’s extensive, innovative work on algebraic computation includes the development of deep lower bound techniques proving limitations of this natural model, as well as designing efficient algorithms for reconstruction and equivalence of such algebraic circuits.

Proving that some natural problems require infeasible computational resources, exemplified by the famous P vs. NP question, is a major problem of mathematics and computer science. Its algebraic incarnation, the VP vs. VNP question, is equally wide open. For both, the natural program of proving hardness for stronger and stronger models, has seen extremely slow progress over the decades. Dr. Neeraj Kayal’s new proof techniques are responsible for some of the leaps in this progress, significantly transforming the state-of-art. Beyond the obvious mathematical impact of adding powerful tools to the small arsenal we have to attack these problems, his work has had an important psychological effect, injecting enthusiasm (and attracting young people) into this difficult research area. Indeed, both his research and his mentoring of young students and postdocs in India, are central to India’s leading presence in this field.

Watch him share his experiences working at the cusp of computer science and mathematics.

Read more about his groundbreaking research in this field here: https://www.infosysprize.org/laureate...

_______________________

Connect with us:
Website: https://www.infosysprize.org
Facebook:   / infosysprize  
Twitter: @infosysprize |   / infosysprize  
Instagram: @infosysprize |   / infosysprize  
YouTube: @InfosysPrize

_______________________

#InfosysPrize #infosysprize2021 #mathematical #infosyssciencefoundation #microsoft #mathscience #computerscience #algorithm #mathematicalcalculation #numbertheory #algebra #geometry #theoreticalcompsci #complexitytheory #science #research #science #scienceoutreach