Award

• ETAPS 2014 Best Paper Award (EATCS Best Paper Award) (Naoki Kobayashi, Kazuhiro Inaba and Takeshi Tsukada, "Unsafe Order-2 Tree Languages are Context-Sensitive", FoSSaCS 2014)
• IPSJ Best Paper Award (2011)¡ÊRyosuke Sato, Kohei Suenaga, and Naoki Kobayashi, "Ordered Types for Stream Processing of Tree-Structured Data", Journal of Information Porcessing¡Ë
• JSPS Prize (2008)
• RTA 2008 Best Paper Award (Naoki Kobayashi and Hitoshi Ohsaki, "Tree Automata for Non-Linear Arithmetic")
• 2003 IBM Japan Science Prize
• 2001 IFIP TC2 Manfred Paul Award
• 2001 IPSJ Sakai Special Researcher Award