Jaehyun Shim is a software engineer with eight years of experience bridging research-grade algorithms and production systems, currently building LLM-powered developer platforms and reverse-proxy infrastructure at Amazon. With a strong academic foundation from the University of Michigan (M.S. and B.S. in Computer Science with a math minor), he blends interests in theoretical CS, ML, cryptography, and finance into pragmatic backend design and API work. He has led backend development for academic MDP research and contributed to the Crocoddyl optimal-control library by adding bindings and fixing contact/impulse models—showing fluency with numerical algorithms and robotics tooling. Prior internships in FEA and full-stack security, plus systems work as a military computer technician, give him a rare mix of applied research, product development, and operational discipline. Based in Ann Arbor, he favors projects that connect deep theory to robust, user-facing services.
8 years of coding experience
3 years of employment as a software developer
Master of Science in Engineering, Computer Science, Master of Science in Engineering, Computer Science at University of Michigan
International Baccalaureate, 7 through 12, International Baccalaureate, 7 through 12 at UWC South East Asia
Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is based on various efficient Differential Dynamic Programming (DDP)-like algorithms
Role in this project:
Back-end Developer
Contributions:6 commits, 1 PR, 3 issues in 1 month
Contributions summary:Jaehyun contributed to the Crocoddyl library by adding new bindings and fixing existing ones. Their work involved the creation of data bindings for control parameterizations and the addition of active and inactive sets within impulse models. Furthermore, the user fixed errors in existing code related to contacts and impulse models, as well as resizing data in box-fddp. They also updated the API documentation, specifically in frame-velocity.hpp.
Contributions:17 PRs, 146 pushes, 16 branches in 2 years 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.