Awarding


Best Paper Award : Tree Automata for Non-Linear Arithmetic
(with Naoki Kobayashi of Tohoku University).
The 19th International Conference on Rewriting Techniques and Applications (RTA'08),
Hagenberg (Austria), July 2008.

Young Researcher Award  (about this award).
Ministry of Education, Culture, Science and Technology (MEXT), Japan, April 2006. (details).