loader image

Test Solutions for Simulink Models & Production Code

Products

Test Solutions for Simulink Models & Production Code

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. Since 2024 he is serving as the representative director of BTC Japan.