Takayuki Gotou
Embedded System Software Engineer at Idein Inc.
Chiyoda, Japan
Summary
👤
Senior🎓
Top SchoolTakayuki Gotou is an Embedded System Software Engineer with 13 years of experience, currently working at Idein Inc. in Chiyoda, Japan, specializing in device management systems and video codec IP hardware. He brings strong practical skills in Linux, Rust, and C++11, complemented by a formal interest in verification techniques and functional programming. With a bachelor's in Information Technology from Shinshu University, he focuses on pragmatic quality assurance—choosing verification rigor that fits project timelines and resources. Known for bridging hardware and software concerns, he actively explores how formal methods can be applied in real-world embedded products to improve reliability without blocking delivery.
13 years of coding experience
Bachelor's degree, Information Technology, Bachelor's degree, Information Technology at Shinshu University
Github Skills (127)
api-client10
api10
docker10
refinement-types10
docker-daemon10
daemon10
rust9
video4linux9
sml9
jlink9
porting9
development-tools9
keccak9
java9
debian8
Programming languages (14)
Github contributions (5)
Idein/dockworker
Aug 2018 - Nov 2022
Docker daemon API client in Rust
Contributions:19 reviews, 407 commits, 141 PRs in 4 years 3 months
api-clientapirustdaemondocker
eldesh/sha3_sml
Mar 2021 - Oct 2024
Contributions:12 PRs, 15 pushes, 9 branches in 3 years 7 months
hashsha3machine-learningcryptographic-standardskeccak
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.