Eric Kim
Senior Software Engineer at Waymo
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolEric Kim is a Senior Software Engineer with 11 years of experience, currently building safety-critical systems at Waymo in San Francisco. He holds a PhD in Electrical Engineering and Computer Sciences from UC Berkeley and a BS in Electrical Engineering and Physics from University of Maryland, combining deep theory with practical engineering. His research and work center on tractable algorithms and flexible tools for control system design, with particular strength in formal verification, synthesis, and applying numerical optimization and constraint solvers to robotics problems. Known for bridging research-grade methods and production software, he focuses on auditable, verifiable solutions for autonomous systems. Colleagues value his ability to translate complex math into reliable code that scales in real-world, safety-focused deployments.
11 years of coding experience
Doctor of Philosophy (PhD), Electrical Engineering and Computer Sciences, Doctor of Philosophy (PhD), Electrical Engineering and Computer Sciences at University of California, BerkeleyThe University of Maryland, College Park
Github Skills (10)
cudd8
binary-decision-diagrams7
synthesis5
circuit4
cython4
python4
pure-python3
sequential3
bdd3
inverter2
Programming languages (1)
Github contributions (5)
ericskim/redax
Jul 2018 - Aug 2019
Control Synthesis with Finite Abstractions
Contributions:92 commits, 21 pushes, 4 branches in 1 year
abstractionssynthesisfinite
ericskim/ericskim.github.io
Dec 2020 - Dec 2020
Contributions:2 pushes, 1 branch in 18 days
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.