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
6 years of employment as a software developer
BITS Pilani, Birla Institute of Technology and SciencePhd Computer Science, Phd Computer Science at The University of Texas at AustinChinmaya Vidyalaya
English, Hindi
Github Skills (72)
formal-languages10
coq8
language-model8
python8
generic-interface8
gpu7
deep-learning7
optimization7
cuda7
pytorch7
llm7
machine-learning7
inference7
reinforcement-learning7
parallel6
Programming languages (7)
Github contributions (5)
amit9oct/Multi-Robot-Task-Allocation
Sep 2015 - Oct 2015
Contributions:7 commits, 5 pushes, 1 branch in 1 month
trishullab/itp-interface
Jan 2025 - Jul 2026
Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.
Contributions:2 reviews, 77 PRs, 142 pushes in 1 year 5 months
aigeneric-interfacemlmodeltheorem-proving
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.