Sohei Ito, Associate Professor, Dr. Engnieering
About me (researchmap)
Nagasaki University
School of Information and Data Sciences
School of Engineering, Computer and Information Science Program
Graduate School of Engineering, Computer and Information Science Program
E-mail:
We study Formal methods in software engineering. Formal methods are collection of mathematical methods that verify software design or software itself do not contain bugs.
As the picture below shows, we model software design models in formal languages such as automata and specify verification properties in temporal logics. Then we automatically check whether the models satisfy the properties.
Our research topics include: