|
|
Graduated from Department of Electrical Engineering II in Faculty of Engineering, Kyoto University in 1970. At the University, he went on to the Graduate School, and worked at Department of Information Science from 1974. He was the professor of Department of Engineering, Nagoya University from 1989 through the assistant and the assistant professor. He is now the professor of Department of Information Engineering, Graduate School of Information Science, Nagoya University, and in the charge of Software Science and Technology Group. In Nagoya University, he successively held a councilor, the Dean of the Graduate School, and the Director of the Information Technology Center. Now he is the Vice CIO of Nagoya University ICTS.
His research interest is software engineering including requirements analysis, specification techniques, reuse techniques, and software development environments. He insists that the tool for expressing ideas by tools - meta tool - is required. So he was developing a fine-grained software repository, Sapid. Using these experience, he has made a study of developing techniques of reliable web applications in the eSociety Project(the MINISTRY OF EDUCATION, CULTURE, SPORTS, SCIENCE AND TECHNOLOGY-JAPAN leading project). He is now applying the techniques of model check to web applications, and verifying scheduling algorithms of real time systems. He insists that variability of a software is important, and study of the development techniques of "flexible software" is now going on.
In activities of Societies, he has been a director in Information Processing Society of Japan, Chair of the Board of Directors in JapanSociety for Software Science and Technology, and a Fellow in The Institute of Electronics, Information and Communication Engineers. In addition, he is an inspector of many state measures of science advancement, and related to the state measure of human advancement in a field of IT.
|
|
