Department of Computer Science and Technology
His main interest is in programming languages and software engineering in general, and functional programming, bidirectional transformation, and parallel programming in particular. His work is characterized by developing methodologies to support rigorous development of robust software systems. He was awarded the basic research achievement awards from Japan Society for Software Science and Technology, the most prestigious award to software researchers in Japan. He is famous for his contribution to the establishment of the well-known NII Shonan Meetings. He is Fellow of Japan Federation of Engineering Society, ACM Distinguished Scientist, and Member of Academia Europaea.