今はデータ基盤ソフトウェアのテクニカルセールスをやっています。 新卒で銀行系SIERで市場系システムのインフラエンジニア、アプリ開発推進（PL）の後、 外資系セキュリティベンダーにてセキュリティ製品のセールスエンジニアを経て、現職です。 このサイトの掲載内容は私自身の見解であり、必ずしも所属組織の立場、戦略、意見を代表するものではありません。

日本IBM 東京基礎研究所 リサーチ・スタッフ・メンバー。形式検証、ロジック、定理証明とかソフトウェア工学が専門です。ブロックチェーンの研究をやったり AI フレームワークの設計・実装を手伝ったり、まあ社会人なので色々しています。 ※執筆した記事の内容は私個人の見解です。