Amitayush Thakur
Graduate Research Assistant
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolAmitayush Thakur is a Ph.D. candidate and Graduate Research Assistant at UT Austin specializing in automated reasoning and verified program synthesis through neuro-symbolic AI and large language models. With 12 years of experience and a five-year tenure at Microsoft building distributed cloud microservices, he bridges rigorous mathematical foundations (M.Sc. Mathematics) and practical software engineering. He has hands-on expertise in training, fine-tuning, and prompt engineering of GPT-style models, and applies deep learning to both programming languages and natural language tasks. His background includes research-driven program synthesis work (PROSE) and applied systems engineering for Azure Backup and Recovery, reflecting a rare mix of production-grade cloud experience and formal methods research. Based in Austin, he also contributes to AI agent and framework development for complex systems design, demonstrating a knack for turning theoretical insights into scalable tooling.
12 years of coding experience
5 years of employment as a software developer
Phd, Computer Science, Phd, Computer Science at The University of Texas at AustinChinmaya VidyalayaMaster of Science (M.Sc.) Mathematics, Bachelor of Engineering (BE) Computer Science, Mathematics and Computer Science, 9.02/10, Master of Science (M.Sc.) Mathematics, Bachelor of Engineering (BE) Computer Science, Mathematics and Computer Science, 9.02/10 at Birla Institute of Technology and Science
English, Hindi
Github Skills (85)
ray8
optimization8
python8
deep-learning8
gpu8
parallel8
machine-learning8
reinforcement-learning8
interval-arithmetic7
byte7
biginteger7
java7
tensorflow7
rational-numbers7
pytorch7
Programming languages (6)
Github contributions (5)
amit9oct/Multi-Robot-Task-Allocation
Sep 2015 - Oct 2015
Contributions:7 commits, 5 pushes, 1 branch in 1 month
trishullab/copra
Oct 2023 - Mar 2025
COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
Contributions:20 reviews, 40 PRs, 107 pushes in 1 year 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.