Kohei Suenaga
Technical Advisor at Graduate School of Informatics, Kyoto University
Osaka, Japan
Summary
👤
Senior🎓
Top SchoolKohei Suenaga is an Associate Professor and technical advisor with 11+ years of experience applying formal verification and machine learning to safety-critical systems, notably hybrid systems and smart contracts. Based at Kyoto University and advising startups and industry (Imiron, DaiLambda, Patentfield, Bunzz), he translates deep theoretical work—like infinitesimal programming and nonstandard static analysis—into practical verification for autonomous vehicles and blockchain code. His research blends type-based methods, numerical invariant synthesis, and Craig interpolation to make formal methods scalable and industry-ready. A PhD from the University of Tokyo, he is unusually focused on bridging rigorous mathematics with deployable tools, and regularly collaborates internationally (including a visiting scholar stint at Arizona State).
11 years of coding experience
7 years of employment as a software developer
University of Tokyo
English, Portuguese, Japanese
Github Skills (15)
alarm10
computer-vision10
clock10
artificial-intelligence10
robotics10
natural-language-processing9
machine-learning9
deep-learning9
deep-neural-networks7
classification1
regression1
logistic-regression1
time-series1
clustering1
vector1
Programming languages (3)
Github contributions (5)
koh-t/SC-CFR
Dec 2020 - Feb 2022
Contributions:3 commits, 2 pushes, 1 branch in 1 year 1 month
koh-t/koh-t.github.io
Feb 2020 - Aug 2023
Contributions:128 pushes, 1 branch in 3 years 6 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.