Taichi Ando studied Earth and Planetary Sciences at Kyushu University. He joined in BTC Japan in 2009, and started to work as a sales engineer for Formal Specification, Formal Verification and Automatic Testing compliant with functional safety standards. He is today responsible for manager of sales engineering department.