He received a B.S. from Kyoto University in 1986, and an MSc from RIMS, Kyoto University in 1988. From 1988 to 1992 he worked at Educational Center for Information Processing, Kyoto University as an assistant professor. Then he moved to Faculty of Science, Nara Women's University as a lecturer in 1992, and served as an associate professor from 2008.He received his Ph.D. in information science from Nara Women's University in Jun 2007. His research areas are mathematical logic and autonomous agents. His recent achievements are mainly on modeling and reasoning about intentional action decision of autonomous agents using probabilistic modal logic. His representative paper is "Tracing Werewolf game by using extended BDI model" (with Shiro Takata, IEICE Transactions on Information and Systems, 2017).