氏名
川口 順央
Masateru Kawaguchi
所属
株式会社 Preferred Networks
経歴
東北大学大学院で修士取得後、電機メーカー、ロボットベンチャーを経てPreferred Networksで勤務
実務経験・研究分野
家電製品や協働ロボットのソフトウェア開発およびプロジェクトマネジメントに従事。モデル検査や形式仕様記述などの形式手法の実開発への適用経験多数
プロフィール
10年以上にわたり形式手法の適用を通してソフトウェア開発の良いやり方を模索。機械学習システムの検証、および、機械学習技術を使った検証に興味。認定スクラムマスター