Shin Saito 
contact information
Research Staff Member, FSS & Blockchain SolutionsIBM Research - Tokyo, Tokyo, Japan +81
351442859
351442859 links
profile
Shin Saito received M. Sci. from University Tokyo and joined IBM in 2001. His expertise includes formal verification of systems and programming languages (especially type theory) and software engineering. He had been working on Web accessibility and crowdsourcing research with recommender systems and machine learning techniques. Recently he is working on design and verification of Blockchain platforms and smart contrancts that runs on Blockchain.