Personal Information


Permanent Positions

1. Senior Research Scientist, October 2007 – present: AIST, Japan.
- Deputy Director of CVS, April 2010 – present: AIST, Japan.
- Research Team Leader, July 2008 – March 2010: AIST, Japan.
2. Research Scientist, April 2003 – September 2007: AIST, Japan.
- Research Team Leader, April 2006 – March 2007: AIST, Japan.
3. Junior Research Scientist, April 2001 – March 2003: AIST, Japan.
4. Junior Research Scientist, April 2000 – March 2001: Electrotechnical Laboratory (ETL), Japan.

Visiting Positions

5. Visiting Associate Professor, April 2010 – present: Graduate School of Information Science, Nara Institute of Science and Technology (NAIST), Japan.
6. Visiting Researcher (AIST Overseas Research Personnel in Computer Science), June 2007 – June 2008: Department of Computer Science, University of Illinois at Urbana-Champaign (UIUC), Illinois, United States of America.

Invitations

7. Invited Lecturer, June 22 – June 26, 2009: 4th International School on Rewriting (ISR'09), Track (A) Introduction to Tree Automata and Track (B) Equational Tree Automata and the Applications, Universidade de Brasília, Brasília, Brazil.
8. Professeur Invité, May 29 – June 20, 2009: Laboratoire d'Informatique Fondamentale de Marseille (LIF), Université de Provence, Marseille, France.
9. Rechercher Invité, November 10 – November 23, 2008: École Normale Supérieure (ENS) de Cachan, Paris, France. (Invited talk presented at the Workshop in Honour of Hubert Comon-Lundh, November 18–19, 2008. slides)
10. Professeur Invité, August 22 – September 19, 2006: ENS de Cachan, Paris, France.
11. Maître de Conférences Invité, May 21 – June 15, 2005 : Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université des Sciences et Technologies de Lille, Lille, France.
12. Professeur Invité, August 28 – September 30, 2004: ENS de Cachan, France.
13. Invited Lecturer, July 26 – 30, 2004: short lecture on "Term Rewriting, Tree Automata and System Verification" served, Kyoto University, Kyoto, Japan.
14.. Invited Researcher, January 10 – March 31, 2004: Department of Computer Science, UIUC, Urbana-Champaign, Illinois, United States of America.
15. Maître de Conférences Invité, June 1 – June 30, 2002 : LIFL, Université des Sciences et Technologies de Lille, Lille, France.

Other Positions

16. Researcher, November 2002 – March 2006: Precursory Research for Embryonic Science and Technology (PRESTO), Japan Science and Technology Agency (JST), Japan. (project website)
17. Researcher (postdoc), April 1999 – March 2000: The Science and Technology Agency Special Coordination Funds for Promoting Science and Technology, ETL, Tsukuba, Japan.
18. Researcher (postdoc), April 1998 – March 1999: The Science and Technology Agency Core Research for Evolutionary Science and Technology Program, ETL, Tsukuba, Japan.