Shin Saito
Research Staff Member at IBM
Kanagawa Prefecture, Japan
Summary
👤
Senior🎓
Top SchoolShin Saito is a research staff member at IBM Research with nine years of experience at the intersection of programming languages, software engineering, and blockchain systems. He combines a strong theoretical foundation—BSc in Mathematics, MSc in Information Science, and PhD candidacy in Computer Science at the University of Tokyo—with hands-on engineering using Python, Node.js, OCaml and Docker to build and verify ML and blockchain systems. His work spans formal methods and tooling (TLA+, Coq, Lean, Z3), model checking and type-theoretic verification, applied to DLT architectures and smart contracts across platforms like Hyperledger Fabric, Ethereum and Tezos. Author of a Hyperledger Fabric book and fluent in functional-programming ideas (lambda- and pi-calculus), he bridges deep theory and pragmatic system-building, favoring research-adjacent roles and modular, testable architectures. An obscure but telling detail: he actively mixes theorem provers with real-world deployment, using formal specs not just for proofs but to harden CI and verification pipelines.
9 years of coding experience
博士, コンピュータ科学, 博士, コンピュータ科学 at 東京大学修士 (理学), 理学系研究科 情報科学専攻, 修士 (理学), 理学系研究科 情報科学専攻 at 東京大学大学院理学系研究科
Japanese, English
Stackoverflow
21reputation
436reached
0answers
1question
Github Skills (15)
validity10
analyzer8
coq6
binder5
fabric4
tla3
python3
translation3
ledger2
blockchain2
corda2
hyperledger2
dask2
hyperledger-fabric2
distributed-ledger1
Programming languages (5)
Github contributions (5)
shinsa82-sgi-2021/tackle-diva
Jan 2022 - Jun 2022
Tackle Data-intensive Validity Analyzer
Contributions:10 PRs, 82 pushes, 46 branches in 5 months
intensiveanalyzervaliditytackle
shinsa82/pycheck
Sep 2022 - Jun 2024
Python refinement type checker by random testing
Contributions:4 PRs, 29 pushes, 5 branches in 1 year 8 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.