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 (88)
rust10
refinement-types10
docker-daemon10
lazy-evaluation9
unit-testing-framework9
compiler9
programming-language9
interpreter9
sha9
porting9
llvm9
translation9
java9
verification9
debian8
Programming languages (17)
Github contributions (5)
eldesh/sha3_sml
Mar 2021 - Oct 2024
Contributions:12 PRs, 15 pushes, 9 branches in 3 years 7 months
hashsha3machine-learningcryptographic-standardskeccak
eldesh/SMLUnit
Dec 2017 - Jul 2021
unit testing framework for StandardML and SML#
Contributions:58 pushes, 12 branches in 3 years 7 months
smltesting-frameworktestingunit-testing-frameworkunit
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.