Ryuta Kambe
Software Engineer at Sony Interactive Entertainment
Tokyo, Japan
Summary
🤩
Rockstar🎓
Top SchoolRyuta Kambe is a software engineer with 9 years of experience, currently focused on research and development at TIER IV in Tokyo, specializing in operating systems and formal verification for autonomous driving. He holds a Master of Computer Science from The University of Tokyo and blends rigorous academic training with practical system design to improve safety-critical vehicle software. Ryuta’s work centers on applying formal methods to OS-level problems, bridging theoretical verification techniques with real-world autonomous stacks. Colleagues know him for tackling low-level concurrency and correctness challenges that are easy to overlook but crucial for dependable autonomy. He brings a methodical, research-driven mindset to engineering problems while staying hands-on in implementation and evaluation.
9 years of coding experience
修士（情報学）, Computer Science, 修士（情報学）, Computer Science at 東京大学大学院Bachelor's degree, Engineering, Bachelor's degree, Engineering at 東京大学
Github Skills (29)
publish-subscribe10
middleware10
robotics10
zenoh10
kernel-module10
ipc10
autonomous-vehicles10
driver10
calibration10
self-driving-car10
request-response10
shared-memory10
lidar10
pubsub10
ros10
Programming languages (7)
Github contributions (5)
veqcc/autoware.universe
Dec 2022 - Apr 2026
Contributions:339 pushes, 460 branches in 3 years 4 months
veqcc/atcoder
Jun 2018 - Sep 2020
Contributions:829 commits, 768 pushes, 1 branch in 2 years 3 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.