I’m Amitayush Thakur, a Ph.D. student at UT Austin advised by Prof. Swarat Chaudhuri.
My research interest is program synthesis from natural language and input-output hints. I am also interested in interpretability of Deep Neural Nets through symbols.
Before joining UT, I worked as Software Engineer 2 at Microsoft in Distributed Systems, and before that as a research intern at Microsoft Research.
I did my Bachelors in Computer Science and Masters in Mathematics at BITS Pilani.
Besides that, I also enjoy teaching mathematics to kids in new innovative ways, solving fun mathematics problems, reading about number theory and cryptography.