草刈 圭一朗

(くさかり けいいちろう)


2000年 北陸先端科学技術大学院大学情報科学研究科博士後期課程にて博士(情報科学)取得.
現在,名古屋大学大学院情報科学研究科計算機数理科学専攻准教授.
項書換え系・プログラム理論・定理自動証明の研究に従事.

執筆箇所:

  ・7群1編 ソフトウェア基礎