Hayk Martiros
San Francisco, California, United States
Summary
🤩
RockstarHayk Martiros is a founder and CTO based in San Francisco who builds complex robotics and ML systems, currently cofounder & CTO of Producer.ai and Riffusion. He spent nearly a decade at Skydio—rising from Autonomy Engineer to VP of Autonomy—where he led a 50-person team that translated cutting-edge visual autonomy research into robust, product-ready systems. A hands-on algorithm and backend engineer, he contributes to the symforce project, implementing foundational symbolic computation, custom matrix types, and camera/code-generation tooling for robotics optimization. Trained at Princeton and Stanford, he pairs academic rigor with startup execution and a penchant for “building hard things with friends.”
9 years of coding experience
Github Skills (13)
symbolic-computation10
code-generation10
c-language10
robotics10
python10
c-programming-language10
matrix9
optimization9
linear-algebra9
mat9
optimizations9
camera-calibration8
autonomous-vehicles7
Programming languages (5)
Github contributions (5)
symforce-org/symforce
Apr 2020 - Sep 2022
Fast symbolic computation, code generation, and nonlinear optimization for robotics
Role in this project:
Back-end Developer & Algorithm Engineer
Back-end Developer & Algorithm EngineerContributions:40 reviews, 84 commits, 10 PRs in 2 years 5 months
Contributions summary:Hayk's contributions primarily involve the development of foundational symbolic computation capabilities within the SymForce library. Their work focuses on implementing the core initialization framework, defining new matrix types, and integrating those with the group theory. The user appears to be working on code generation tools, including function and camera code generation. Their changes also include building a 2D robot triangulation example.
structure-from-motionsymbolic-computationcode-generationcpppython
symforce-org/symforce-workshop
Sep 2022 - Sep 2022
Contributions:3 commits, 2 pushes, 1 branch in 1 day
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.