研究室紹介

Principles of software engineering and programming languages

Department of Advanced Information Technology, Faculty of Information Science and Electrical Engineering

Department of Information Science and 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.

Staff

Prof. Naoyasu Ubayashi
Assoc.Prof. Yasutaka Kamei

The Main Research Topics

  • Advanced programming experience
  • Highly reliable software based on formal methods
  • Mining software repository for discovery of collective intelligence
« back