Shinji Kono
Associate Professor
Okinawa Prefecture, Japan
Summary
👤
Senior🎓
Top SchoolShinji Kono is an Associate Professor of Computer Science at the University of the Ryukyus with over 11 years of documented professional experience and a research career extending back to roles at Sony Computer Science Laboratory in the late 1980s and 1990s. His expertise spans programming languages, operating systems, and software engineering, grounded in a Doctor of Engineering in Information Engineering from The University of Tokyo and earlier studies in chemistry. Kono combines deep academic research with practical lab experience, bridging theoretical foundations and applied system design. Based in Okinawa Prefecture, he brings long-term continuity to his field, having contributed to computing research across decades and institutional settings. An understated strength is his cross-disciplinary background—from chemistry to information engineering—which informs a methodical, experimental approach to software and systems research.
11 years of coding experience
7 years of employment as a software developer
University of TokyoChemistry, Chemistry at Tokyo Institute of Technology
Stackoverflow
31reputation
300reached
0answers
2questions
Github Skills (25)
proof-assistant9
agda9
dependent-types9
lambda-calculus9
idris9
type-theory9
homotopy-type-theory8
theorem-proving8
theorem8
interpreter8
programming-language8
compiler6
category-theory6
homebrew5
multilingual4
Programming languages (6)
Github contributions (5)
shinji-kono/category-exercise-in-agda
Dec 2018 - Feb 2025
Contributions:30 pushes, 1 branch in 6 years 2 months
ie-developers/homebrew-ie
May 2020 - Jul 2021
homebrew formulae for ie
Contributions:85 commits, 38 pushes in 1 year 2 months
formulaehomebrewhomebrew-formulae
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.