プロフィール

略歴

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


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


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


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


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


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


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


• 2024年4月 岡山大学 学術研究院 環境生命自然科学学域 教授 着任  


• 2024年4月 大阪大学 大学院情報科学研究科 招へい教授 兼務  

担当授業

• 自律ソフトウェア設計論（博士後期）  


• ソフトウェア検証論（博士前期）  


• アルゴリズムと計算量（3年生）  


• プログラミング言語（3年生）  


• 線形代数（1年生）  


• ディペンダブルシステム（博士前期・後期）（大阪大学：2023年度まで）  


• コンカレントシステム（博士前期・後期）（大阪大学：2023年度まで）  


• 計算理論（3年生）（2020年度まで計算論A）（大阪大学：2024年度まで）  　


• 情報論理学（3年生）（大阪大学：2024年度まで）  


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


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


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