School of Information and Data Sciences, Nagasaki University

  • 言語切替アイコン
  • inquiry iconInquiry
  • access iconAccess
  • sitemap iconSitemap
Research Activities

Staff Introduction

Sohei ITO
  • Institute of Integrated Science and Technology, Associate Professor
  • School of Information and Data Sciences, Associate Professor
  • Graduate school of engineering, Associate Professor
  • Doctor (Engineering)
Researcher number
Date of arrival
Nagasaki University:Apr.2020-
Areas of Research
Software Engineering, Formal Methods, Systems Biology, Process Mining
Tokyo Institute of Technology, School of Engineering, Graduated
Tokyo Institute of Technology, Graduate School of Engineering, Master Course, Completed
Tokyo Institute of Technology, Graduate School of Engineering, Doctor Course, Completed
Tokyo Institute of Technology, Graduate School of Engineering, Research Associate
The University of Tokyo, Graduate school of Information Science and Technology, Research Associate
National Fisheries University, Department of Fisheries Distribution and Management, Assistant Professor
Silesian University in Opava, Czech Republic, Visiting Researcher

Research activities

 Analysis of gene network by formal method
A gene network is a network that expresses the activation-inhibition relationship between genes. It is usually modeled with differential equations and analyzed by numerical simulations. However, such approach needs biological parameters, which are often unclear, and thus its applicability is limited. In this study, we consider a gene network as a reactive system (a system that responds appropriately while interacting with the environment) and describe its behavior qualitatively using linear temporal logic. We are studying methods for analyzing whether certain genes can be constantly expressed or oscillate, and whether certain functions are biologically homeostatics.
Gene network Example
Behavioral description by linear temporal logic
 Business process discovery and verification by process mining
Process mining is a method that uses data science techniques to find information useful for process improvement, such as business process workflow and relationships between personnel, from execution records (obtained from ERP such as SAP) of business processes. In this research, we are working on issues such as how to extract event logs from business processes, how to find formal models of business processes (models that can be mathematically executed), and how to verify whether business processes satisfy desired properties.

Educational activities

School of Information and Data Sciences:
First-year Seminar, Compilers, Automata and Formal Language Theory, Operating Systems I/II, Programming LanguagesⅣ, Research Project
Graduate School of Engineering:
Parallel and Distributed Processing
To Staff List›