基本情報

所属
信州大学 工学部 電子情報システム工学科 教授
学位
博士(工学)(1997年3月 信州大学)

J-GLOBAL ID
200901050538279345

外部リンク

フォーマルアプローチ,特に並列分散システムのモデル化と解析、非同期回路の数学モデルと形式検証、モデル検査系向けハードウェアコンパイラに関する研究を行っています。

論文

  122

MISC

  133

共同研究・競争的資金等の研究課題

  10