草刈 圭一朗

• 研究分野

  • プログラム理論
  • 項書換え系
  • 定理自動証明
  • プログラム検証

• 論文一覧

• 担当講義

• プロフィール

  • 2014.3-現在: 岐阜大学 工学部 電気電子・情報工学科 情報コース 教授 (大学院工学研究科併任)
  • 2007.4-2014.2: 名古屋大学 大学院情報科学研究科 計算機数理科学専攻 准教授 (工学部併任)
  • 2006.4-2007.3: 名古屋大学 大学院情報科学研究科 計算機数理科学専攻 助教授 (工学部併任)
  • 2003.4-2006.3: 名古屋大学 大学院情報科学研究科 情報システム学専攻 講師 (工学部併任)
  • 2000.4-2003.3: 東北大学 電気通信研究所 助手 (200{0,1,2}.10-200{1,2,3}.3: 工学部兼務)
  • 2000.3: 北陸先端科学技術大学院大学 情報科学研究科 情報処理学専攻にて 博士(情報科学)取得
  • 1996.3: 北陸先端科学技術大学院大学 情報科学研究科 情報システム学専攻 博士前期課程 修了
  • 1994.3: 東京工業大学 理学部 生命理学科 (現在の生命理工学院 生命理工学系に対応？) 卒業
  • 1969.1: 長崎市にて誕生．本籍は佐世保．

• 国際・国内貢献等

  • 電子情報通信学会東海支部 支部運営委員 (2021.6-2023.6)
  • 情報処理学会東海支部委員 (2018.4-2020.5)
  • Program Committee of WST 2018 (16th International Workshop on Termination)
  • 電子情報通信学会英文論文誌「理論計算機科学」特集号編集委員 (2014年度-2018年度)
  • Organizing Committee of RTA2012 (23rd International Conference on Rewriting Techniques and Applications)
  • LAシンポジウム事務局メンバー (2012年度)
  • プログラミング研究会運営委員 (2009.4-2011.3)
  • コンピュテーション研究会専門委員 (2006.5-2012.5)
  • FIT担当委員 (2005.9.1-2006.12.31)
  • ソフトウェアサイエンス研究専門委員会専門委員(幹事) (2006.5-2010.5)
  • ソフトウェアサイエンス研究専門委員会専門委員 (2004.5-2006.5)
  • LAシンポジウム事務局メンバー (2003年度)
  • 情報処理学会会員 (2001.8-)
  • 電子情報通信学会会員 (2000.10-)
  • 日本ソフトウェア科学会会員 (1997.4-)
  • LAシンポジウム会員 (1996.7-)

• リンク

  • 書き換えな人々一覧
  • Rewriting Home Page