受賞

1985年

情報処理学会第３０回全国大会学術奨励賞
（論文題目“並列論理型言語のコンパイル技法”）

1985年

日本ソフトウェア科学会第２回大会高橋奨励賞
（論文題目“全解探索論理プログラムの決定的論理プログラムへの変換”）

1988年

第３回元岡賞（並列論理型言語ＧＨＣに関する研究）

1993年

第７回日本ＩＢＭ科学賞（コンピュータサイエンス分野）
（並行論理プログラミング言語に関する研究）

2000年

日本ソフトウェア科学会第４回論文賞 （網代育大氏，長健太氏と共同）
（論文題目“静的解析と制約充足によるプログラム自動デバッグ”）

2001年

日本ソフトウェア科学会第５回論文賞
（論文題目“自己調整二分木の並列操作”）

2002年

日本ソフトウェア科学会第１９回高橋奨励賞
（論文題目“Programming with Logical Links”）

2003年

人工知能学会2002年度全国大会ベストプレゼンテーション賞 （登壇発表者は網代育大氏）
（論文題目“反復深化Ａ＊探索によるもっともらしいプログラムの効率的生成”）