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.
Member
The Main Research Topics
Advanced programming experience
Highly reliable software based on formal methods
Mining software repository for discovery of collective intelligence