Department of Advanced Information Technology, Faculty of Information Science and Electrical Engineering
Department of Advanced Information Technology, Graduate School of Information Science and Electrical Engineering
Department of Electrical Engineering and Computer Science, School of Engineering
Our research group is studying software engineering and programming language, which are foundations of software development. Software engineering is a field of study that investigates how to solve problems of software from the aspect of engineering. We are studying from the following three viewpoints: "Advanced programming experience", "Highly reliable software based on formal methods", and "Mining software repository for discovery of collective intelligence". The first two utilize AI, machine learning, discovery of collective intelligence, theories of programming languages, and formal methods. The last discovers high quality information from largely accumulated development history in repositories.