安藤　太一は九州大学の地球惑星科学科の学士過程を卒業しました。BTC Japanには2009に入社し、セールスエンジニアとして機能安全規格準拠の形式記述、形式検証、テスト自動化導入サポートに従事して参りました。現在は営業技術部のマネージャを務めています。