Chinmaya Kausik
Graduate Student Researcher
Ann Arbor, Michigan, United States
Summary
👤
Senior🎓
Top SchoolChinmaya Kausik is a PhD student and researcher in mathematics and machine learning at the University of Michigan, specializing in sequential decision making with strong theoretical guarantees and practical impact. With eight years of experience across academia and industry, he has worked on offline RL, bandits, causal inference, model predictive control, and GNNs, and has shipped research-backed code used in production settings. Internships at Microsoft, Netflix, and Jane Street resulted in tangible gains—reducing bidding latency and errors, improving LLM retrieval and QA performance, and doubling proof-of-concept R^2 in finance applications. He co-founded an online math camp that raised $20k and has a strong mathematical foundation from IISc that underpins his work in provable algorithms. Chinmaya combines deep theory (top-tier math training and theorem-proving experience) with hands-on systems development, aiming to build safe, reliable AI agents that improve human decision making.
8 years of coding experience
4 years of employment as a software developer
Bachelor of Science - BS, Mathematics, 9.6/10, Bachelor of Science - BS, Mathematics, 9.6/10 at Indian Institute of Science (IISc)Doctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at University of Michigan
English, Hindi, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (31)
responsive10
github-pages10
jekyll10
jekyll-theme10
logic8
topology8
combinatorics7
agda4
camp4
mathematics4
sat-solver4
python3
coq3
theorem-proving3
dependent-types3
Programming languages (6)
Github contributions (5)
Chinmaya-Kausik/chinmaya-kausik.github.io
Mar 2022 - Mar 2025
A beautiful, simple, clean, and responsive Jekyll theme for academics
Contributions:555 pushes in 3 years
responsive-jekyll-themeacademicscleanjekylljekyll-theme
Chinmaya-Kausik/scala_knots
Jun 2020 - Mar 2022
Contributions:38 pushes, 1 branch in 1 year 9 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.