受賞日: 2012年4月28日
氏名 職名/学年: テイ エイ 修士2年(発表時) 佐藤 晴彦 助教 栗原 正仁 教授
所属: 情報科学研究科 複合情報学専攻 複雑系工学講座 表現系工学研究室
授与団体: The International MultiConference of Engineers and Computer Scientists (IMECS)
賞名: Best Paper Award of The 2012 IAENG International Conference on Software Engineering
受賞論文名,研究題目名または受賞理由:
「Parallelization of Termination Checker of Term Rewriting Systems (項書換え系停止性検査器の並列化)」