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.