Sachin Grover
Postdoctoral Researcher at Arizona State University
Tempe, Arizona, United States
Summary
👤
Senior🎓
Top SchoolSachin Grover is a postdoctoral researcher with 12 years of experience bridging automated reasoning, planning, and learning-based methods to build open-world, robotics-capable agents. His work spans reinforcement learning, LLM-based reasoning and multi-agent systems, and formal symbolic planning, with roles at ASU, PARC, and SRI where he designed agents that operate in dynamic, human-aware environments. He holds a PhD in Automated Planning (4.0 GPA) from Arizona State University and pursues neuro-symbolic approaches that fuse LLM generalization with the reliability of symbolic reasoning to achieve data-efficient autonomy. Pragmatic and research-driven, he applies both pre-training and post-training techniques to improve agent behavior and has a track record of moving ideas from theory to embodied robotics settings.
12 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (PhD), Automated Planning, Artificial Intelligence, 4.00/4.00, Doctor of Philosophy (PhD), Automated Planning, Artificial Intelligence, 4.00/4.00 at Arizona State UniversityRamjas School, Pusa RoadBachelor's in Technology, Computer Science, Bachelor's in Technology, Computer Science at National Institute of Technology Rourkela
English, Hindi
Github Skills (13)
discrete-event-simulation10
simulation10
system-dynamics10
modeling-tool10
modeling10
dynamics10
health8
algebra6
math4
evaluator2
mathematical2
javascript2
expression-evaluator1
Programming languages (3)
Github contributions (5)
Dragoon-Lab/topomath
Nov 2016 - Oct 2019
TopoMath: a web-based algebra tutor
Contributions:257 commits, 68 PRs, 222 pushes in 2 years 10 months
mathalgebratutorweb-based
sachingrover211/linux-installation
Jul 2015 - Jun 2023
Contributions:19 pushes, 2 branches in 8 years
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.