Takayoshi Ai
ソフトウェア開発エンジニア at mappin株式会社
Osaka, Japan
Summary
👤
Senior🎓
Top SchoolTakayoshi Ai is a software development engineer based in Osaka with 11 years of experience building product-grade systems across C#, Java, Go, and React. He combines a strong theoretical background in combinatorial optimization and graph theory (Kyoto University, math and information) with practical experience in medical systems and the CDISC standard, delivering robust backend solutions on SQL Server and PostgreSQL. His career includes product development and team management at Fujitsu and current engineering work at mappin株式会社, where he applies formal methods (Alloy, TLA+) and Docker-based workflows to increase system reliability. Interested in statistics, aviation and travel, he brings a methodical, research-informed approach to complex algorithmic problems and system design. A detail that sets him apart is the blend of formal verification techniques with real-world clinical-data standards, enabling both correctness and compliance in regulated environments.
11 years of coding experience
Master's degree, Information, Master's degree, Information at 京都大学
Github Skills (23)
hiveserver29
api8
python6
plugin6
impala5
hive5
slack-bot4
mongoose4
presto4
slack3
vue3
filtering3
mean-stack3
sorting3
mongodb3
Programming languages (5)
Github contributions (5)
Takayoshi-Aoyagi/competition-manager
May 2015 - May 2017
Contributions:2 PRs, 13 pushes, 1 branch in 2 years
chartsreactcompetition-managerplayer
Takayoshi-Aoyagi/tkd-ksc.com
Jan 2015 - Mar 2024
Contributions:2 PRs, 32 pushes, 1 branch in 9 years 4 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.