受賞
日本ソフトウェア科学会 2010年度基礎研究賞
第5回日本学術振興会賞
RTA 2008
Best Paper Award(Naoki Kobayashi and Hitoshi Ohsaki, "Tree Automata for Non-Linear Arithmetic")
平成19年度情報処理学会 論文賞
(須藤 崇,小林直樹,「並行プログラミング言語へのチャネル使用法宣言の導入」)
平成18年文部科学大臣表彰 若手科学者賞
日本ソフトウェア科学会
第9回論文賞(小林直樹,白根慶太,「低レベル言語のための情報流解析のための型システム」,コンピュータソフトウェア,20(2):2-21.)
平成15年日本IBM科学賞
平成13年坂井記念特別賞
2001 IFIP TC2 Manfred Paul Award