堀田 英一


教授・Ph.D.

堀田 英一

HORITA Eiichi
最終更新日 2021/11/25

石川県七尾高校出身

■略歴
京都大学理学部卒(数学専攻)。九州大学工学部修士課程修了(応用数学専攻)。日本電信電話公社入社、オランダ数学・計算機科学研究所客員研究員、アムステルダム自由大学よりPh.D.取得(計算機科学専攻)、NTTソフトウェア研究所主任研究員を経て、2006年本学教授就任。

■専門分野
専門:システム検証、並行分散システム

■研究業績
業績ページへ

■担当科目
線形代数T  工学のための数理工T  基礎情報数理(再履修クラス)  線形代数U  工学のための数理工U  情報数理A  

■所属学科
基礎教育部 数理基礎教育課程