プロフィール

略歴

• 1997年3月 大阪大学 基礎工学部 情報工学科 卒業  


• 1997年4月 鹿島建設株式会社 入社  


• 2007年3月 東京大学 情報理工学系研究科 創造情報学専攻 修士課程 修了  


• 2008年3月 東京大学 情報理工学系研究科 創造情報学専攻 博士課程 中退  


• 2008年4月 電気通信大学 大学院情報システム学研究科 助教 着任  


• 2013年2月 博士（工学）早稲田大学  


• 2014年1月 大阪大学 大学院情報科学研究科 准教授 着任  

担当授業

• ディペンダブルシステム（博士前期・後期）  


• コンカレントシステム（博士前期・後期）  


• 計算理論（3年生）（2020年度まで計算論A）  　


• 情報論理学（3年生）  


• プログラミングD (Java講義)（2年生）（2015年度まで）  


• 情報科学序説（1年生）（2018年度まで）  


• 情報社会と倫理（共通教育）『人工知能と倫理』（2018年度まで）