He received his B.S. and M.S. degrees and his Ph.D. in Science from Kyushu University in 1996, 1998, and 2002, respectively. His current interests include algorithms for string processing and formal analysis of security. He is a member of IEEE, EATCS, and IPSJ.