Karan Srivastava is a sixth-year PhD candidate in Mathematics at the University of Wisconsin–Madison who applies rigorous mathematical foundations to machine learning and scientific discovery. His research focuses on reinforcement learning and training AI to generate interpretable data that directly informs mathematicians’ workflows, and he has translated those ideas into high-impact intern projects at IBM that advanced LLM-based heuristics for combinatorial optimization and novel algebraic discovery frameworks. Karan has a strong record of turning theory into scalable algorithms—delivering orders-of-magnitude improvements in speed and memory for symbolic discovery and demonstrating robust generalization on out-of-distribution problems. Based in Madison with nine years of professional experience, he’s now seeking industry internships in ML, data science, or quantitative finance to bring his blend of mathematical depth and practical ML engineering to real-world, data-driven challenges.
9 years of coding experience
Doctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at University of Wisconsin-Madison
Study Abroad, Mathematics, Study Abroad, Mathematics at Independent University of Moscow
Bachelor of Science - BS, Mathematics, Bachelor of Science - BS, Mathematics at University of Illinois Urbana-Champaign
An easily internationalizable, mobile-friendly datepicker library for the web
Contributions:5 pushes, 1 branch, 1 comment in 11 months
reactdatepickercalendarjavascriptmobile-friendly
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.