I am a professor of the Information Technology Center, The University of Tokyo. I received B.Sc. and M.Sc. in Mathematical Sciences from Kyoto University in 1981 and 1983, respectively, and D.Sc. in Information Science from the University of Tokyo in 1991. I am interested in various topics in computer software including design and implementation of textual and visual programming languages, system software, and user interface software. Also I has been doing research on language-based software security and methodologies for building secure and dependable software.