I received my B.S. and M.S. degrees in Information Science from the Tokyo Institute of Technology in 1988 and 1990, respectively, under the supervision of Prof. Masako Takahashi-Horai. Since 1990, I have been working for the Nippon Telegraph and Telephone (NTT) Corporation as a computer science researcher. I also earned my Ph.D. degree in Computer Science from the Tokyo Institute of Technology in 2006 under Prof. Naoki Yonezaki's supervision. My research interests include: type theories and logical frameworks; formal methods; theoretical computer security. I am also interested in establishing a semantically self-contained logical theory, which does not need to have interpretations in any other logical theories. This is essentially the same as making computers attribute meanings to symbols by themselves. :-) I am a member of the Japan Society for Software Science and Technology (JSSST), the Japan Society for Industrial and Applied Mathematics (JSIAM), the Information Processing Society of Japan (IPSJ), and the Association for Computing Machinery (ACM) .