プロフィール

経歴

2024年4月 - 甲南女子大学 看護リハビリテーション学部 非常勤講師
2020年4月 - 神戸大学 大学院システム情報学研究科 准教授
2015年4月 - 2019年9月 千葉大学 理学部 非常勤講師(前期のみ)
2014年4月 - 2020年3月 木更津工業高等専門学校 講師
2013年10月 - 2014年3月 神戸大学 共通教育グループ 非常勤講師
2013年4月 - 2014年3月 日本学術振興会 特別研究員(PD)(神戸大学)
2012年4月 - 2013年3月 日本学術振興会 特別研究員(DC2)(神戸大学)

学歴

2011年4月 - 2013年3月 神戸大学大学院 システム情報学研究科 情報科学専攻(博士後期課程)
2009年4月 - 2011年3月 神戸大学大学院 工学研究科 情報知能学専攻(博士前期課程)
2004年4月 - 2009年3月 神戸大学 工学部 情報知能工学科
2001年4月 - 2004年3月 京都府立 鳥羽高等学校 II類理数系

委員歴

2024年3月 - 2016年2月 日本数学会 数学基礎論および歴史分科会 運営委員(証明論および計算論)

受賞

2014年11月 科学基礎論学会 2013年度科学基礎論学会奨励賞

競争的資金の獲得状況