Yoshihiro Imai
リサーチエンジニア at Nagoya University
Chiba Prefecture, Japan
Summary
👤
Senior🎓
Top SchoolYoshihiro Imai is a research engineer and founder with 11+ years of experience applying formal methods and proof assistants to real-world software, currently serving at AIST while leading proofninja as CEO. With a master's in mathematics from Nagoya University, he has combined academic roles (visiting professor and adjunct positions) with industry work at Dwango and system-proving projects since 2007. His publications and projects emphasize Coq-based verification and verified code extraction to Scala, reflecting deep expertise in type systems and mechanized proofs. He teaches professional engineers as a longtime instructor and brings a rare blend of hands-on proof development, academic publishing, and product-minded leadership.
11 years of coding experience
13 years of employment as a software developer
Master's degree, mathematics, Master's degree, mathematics at Nagoya University
Github Skills (97)
mathematical10
ssreflect10
interval-arithmetic10
dfa10
dialyzer10
proofs9
dependent-types9
coq9
julia9
homotopy-type-theory9
agda9
category-theory9
proof-assistant9
executable9
symbolic-computation9
Programming languages (11)
Github contributions (5)
proof-ninja/proofninja_website
Aug 2019 - Mar 2025
Contributions:61 pushes, 2 branches in 5 years 7 months
yoshihiro503/coq2html
Oct 2023 - Feb 2025
An HTML documentation generator for Coq source files
Contributions:7 PRs, 145 pushes, 61 branches in 1 year 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.