堀田 英一


教授・博士(コンピューター科学)

堀田 英一

HORITA Eiichi
最終更新日 2022/04/29

■略歴
1977年
 
3月
 
石川県立七尾高等学校 卒業

1982年
 
3月
 
京都大学 理学部 数学専攻 卒業

1984年
 
3月
 
九州大学大学院 工学研究科 応用物理学専攻 修士課程 修了

1984年
 
4月
 
電電公社 横須賀電気通信研究所 データ通信研究部 

1986年
 
4月
 
NTT 武蔵野電気通信研究所 情報基礎部 

1987年
 
7月
 
NTTソフトウェア研究所 ソフトウェア開発技術研究部 研究主任 

1989年
 
8月
 
オランダ数学・計算機科学研究所 客員研究員 

1992年
 
2月
 
NTTソフトウェア研究所 ソフトウェア開発技術研究部 主任研究員 

2005年
 
4月
 
NTT情報流通プラットフォーム研究所 ユビキタスコンピューティング基盤プロジェクト 主任研究員 

2006年
 
4月
 
金沢工業大学 教授 

2012年
 
4月
 
金沢工業大学 基礎教育部 基礎実技教育課程 教授 

2018年
 
4月
 
金沢工業大学 基礎教育部 数理基礎教育課程 教授 

2022年
 
4月
 
金沢工業大学 基礎教育部 数理・データサイエンス・AI教育課程 教授 



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

■研究業績
業績ページへ

■担当科目
線形代数T  工学のための数理工T  基礎情報数理  線形代数U  工学のための数理工U  情報数理A  

■所属学科
基礎教育部 数理・データサイエンス・AI教育課程