研究者
J-GLOBAL ID:200901078391776889   更新日: 2021年10月15日

草刈 圭一朗

クサカリ ケイイチロウ | Kusakari Keiichirou
所属機関・部署:
職名: 教授
その他の所属(所属・部署名・職名) (2件):
  • 教育推進・学生支援機構  教授
  • 工学研究科  教授
研究分野 (2件): 情報学基礎論 ,  情報学基礎論
研究キーワード (4件): プログラム検証 ,  定理自動証明 ,  項書換え系 ,  プログラム理論
競争的資金等の研究課題 (2件):
  • 2012 - 2017 静的再帰構造解析に基づく関数プログラムの停止性自動証明
  • 2008 - 2011 高階関数プログラムの停止性判定に関する研究
論文 (36件):
MISC (26件):
もっと見る
学歴 (3件):
  • 1996 - 2000 北陸先端科学技術大学院大学
  • 1994 - 1996 北陸先端科学技術大学院大学
  • 1988 - 1994 東京工業大学 生命理学科
学位 (1件):
  • 博士(情報科学) (北陸先端科学技術大学院大学)
経歴 (6件):
  • 2014/03 - 現在 岐阜大学 工学部 教授
  • 2014/03/01 - 岐阜大学 工学部 教授
  • 2007/04 - 2014/02 名古屋大学 大学院情報科学研究科 准教授
  • 2006/04 - 2007/03 名古屋大学 大学院情報科学研究科 助教授
  • 2003/04 - 2006/03 名古屋大学 大学院情報科学研究科 講師
全件表示
委員歴 (6件):
  • 2021/06 - 現在 電子情報通信学会東海支部 支部委員
  • 2014 - 2018 電子情報通信学会 英文論文誌「理論計算機科学」特集号編集委員
  • 2006/05 - 2012/05 電子情報通信学会 コンピュテーション研究会専門委員
  • 2009/04 - 2011/03 情報処理学会 プログラミング研究会運営委員
  • 2006/05 - 2010/05 電子情報通信学会 ソフトウェアサイエンス研究専門委員会幹事
全件表示
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る