→To English Version
和﨑 克己 (Katsumi Wasaki)
略歴
1991年信州大学工学部情報工学科卒、1993年同大学大学院工学系研究科博士前期課程情報工学専攻修了、1994年同博士後期課程システム開発工学専攻退学、同年長野工業高等専門学校電子制御工学科助手、1998年信州大学工学部情報工学科助手、2001年同大学工学部助教授。2009年信州大学工学部教授。博士（工学）。2003年,2005年カナダ・アルバータ州立大学計算科学科客員研究員。2008年独立行政法人 新エネルギー・産業技術総合開発機構（NEDO）技術評価委員。並列分散システムのモデル化と解析、非同期回路の数学モデルと形式検証、モデル検査系向けハードウェアコンパイラに関する研究に従事。IEEE、電子情報通信学会、情報処理学会、電気学会の各会員。
研究
所属学会
E-mail / wasaki _AT_ cs.shinshu-u.ac.jp