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年度科学基礎論学会奨励賞 |