Dependable Software Engineering Research

Japanese | English

Welcome

Formal methods are expected to play key roles in developing dependable software-intensive systems. We are looking especially at formal specification languages and automated verification methods such as logic model-checking. Since practical applications of such technologies are as important as basic researches, we always look for opportunities to work with people in industry. Part-time students from industry join our research group for their Ph.D. degrees at SOKENDAI.

... Recent news can be found here