関澤 俊弦

(せきざわ としふさ)


2009年 大阪大学大学院情報科学研究科博士後期課程了.
博士(情報科学).
現在,大阪学院大学情報学部・講師,産業技術総合研究所外来研究員.
ソフトウェアの信頼性向上技術に関心.形式手法,特にモデル検査の研究に従事.

執筆箇所:

  ・7群1編 ソフトウェア基礎