Award
2001 IFIP TC2 Manfred Paul Award
2001 IPSJ Sakai Special Researcher Award
2003 IBM Japan Science Prize
RTA 2008
Best Paper Award (Naoki Kobayashi and Hitoshi Ohsaki, "Tree Automata for Non-Linear Arithmetic")
JSPS Prize (2008)