Research Interest
- Theory of Computation:
- tree automata
- term rewriting
- System Verification and Tool Development
Contact Information
- Affiliation: Deputy director of Collaborative Facilities for Verification and Specification (CVS)
- Office: AIST Kansai - Amagasaki site [map]
- Address: Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan.
- Phone: +81 6 6494 8029
- FAX: +81 6 6494 8073
- E-mail:
