Kishor Jothimurugan
Quantitative Researcher
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolKishor Jothimurugan is a quantitative researcher at Two Sigma with eight years of experience bridging formal methods, reinforcement learning, and applied AI for finance. He holds a PhD in Computer and Information Science from the University of Pennsylvania, where his dissertation on "Specification-Guided Reinforcement Learning" explored using formal specifications to shape RL behavior. Kishor has applied this research mindset across internships at AWS, Nokia Bell Labs, and École normale supérieure, including work on execution semantics for code-generation LLMs and RL for stopping problems. A high-achieving mathematician from Chennai Mathematical Institute, he combines rigorous theoretical foundations with hands-on engineering to deliver auditable, research-driven solutions in production settings. Notably, his portfolio reflects an uncommon focus on marrying formal verification techniques with modern ML systems, particularly in finance.
8 years of coding experience
1 year of employment as a software developer
Bachelor of Science (B.Sc.) (Honors), Mathematics and Computer Science, CGPA 9.77/10, Bachelor of Science (B.Sc.) (Honors), Mathematics and Computer Science, CGPA 9.77/10 at Chennai Mathematical InstituteDoctor of Philosophy - PhD, Computer and Information Sciences, Doctor of Philosophy - PhD, Computer and Information Sciences at University of Pennsylvania
English, Hindi, TamilProgramming languages (2)
Github contributions (5)
keyshor/personal-website
Nov 2019 - Apr 2025
Contributions:71 pushes, 1 branch in 5 years 5 months
keyshor/spectrl_tool
Oct 2019 - Nov 2020
Contributions:4 commits, 3 pushes, 1 branch in 1 year 1 month
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.