He received the degree of Bachelor of Engineering in computer science, the degree of Master of Engineering in computer science, and the degree of Doctor of Engineering in computer science from Saitama University in 2001, 2003, and 2005, respectively. His current research interests include relevant reasoning and its applications, automated theorem finding, epistemic programming, anticipatory reasoning reacting systems, and Web services. He is a member of ACM, IEEE-CS, Information Processing Society of Japan (IPSJ), Institute of Electronics, Information and Communication Engineers (IEICE), and Japanese Society of Artificial Intelligence (JSAI).