• 名前：倉橋　太志（くらはし　たいし）
• 所属：神戸大学 大学院システム情報学研究科 システム情報学専攻
• 職名：准教授
• 専門：数学基礎論・数理論理学
• 学位：博士（学術）（神戸大学）
• 所属学会：日本数学会、Association for Symbolic Logic、科学基礎論学会
• 出身：京都府京都市
• エルデシュ数：3
• メール: kurahashi at people.kobe-u.ac.jp

経歴

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

競争的資金の獲得状況

• 学術研究助成基金助成金　基盤研究(C)「形式的証明可能性の持つ諸性質の分析」
  課題番号：23K03200
  研究期間：2023年度 - 2027年度
• 学術研究助成基金助成金　若手研究「不完全性定理を通じた形式的証明可能性の研究」
  課題番号：19K14586
  研究期間：2019年度 - 2022年度
• 学術研究助成基金助成金　若手研究（B）「超準モデルと理論における証明構造の分析」
  課題番号：16K17653
  研究期間：2016年度 - 2018年度
• 科学研究費補助金　研究活動スタート支援「可証性述語の解析に基づく形式的証明可能性の研究」
  課題番号：26887045
  研究期間：2014年8月 - 2015年度
• 科学研究費補助金　特別研究員奨励費「形式的算術の証明可能性について」
  課題番号：12J00654
  研究期間：2012年度 - 2013年度