向山 輝

1990-2009年NEC　C&C研究所、システムデバイス研究所
2009年より NEC ソフトウェアエンジニアリング本部
2010-2012, 2018-現在　IPA出向

LSI設計自動化、モデル検査、形式手法、システムズエンジニアリング、STAMP、FRAM、デザイン思考。

学生の頃はグラフ理論、入社してからはLSIの自動設計、その後ソフトウェアの分野に移り、形式手法をやっていました。

最近は、STAMPやFRAMなどのシステム思考アプローチ（システムズエンジニアリング）に興味を持っています。ML応用システムの安全性、信頼性、価値などは、システム全体として考えるアプローチが有効ではないかと考え、これまでやってきたことと接点がありそうに思っています。よろしくお願いいたします。