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: www.infosyspri...
_______________________
Connect with us:
Website: www.infosyspri...
Facebook: / infosysprize
Twitter: @infosysprize | / infosysprize
Instagram: @infosysprize | / infosysprize
RU-vid: @InfosysPrize
_______________________
#InfosysPrize #infosysprize2021 #mathematical #infosyssciencefoundation #microsoft #mathscience #computerscience #algorithm #mathematicalcalculation #numbertheory #algebra #geometry #theoreticalcompsci #complexitytheory #science #research #science #scienceoutreach
26 авг 2024