Ito Sohei

イトウソウヘイ | Ito Sohei

Affiliation and department：
Job title：准教授

Research field (2)： Information theory , Software

Research keywords (6)： Theoretical computer science , Business Process , Process Mining , Software Engineering , Mathematical Logic , Formal Methods

Research theme for competitive and other funds (3)：

Papers (29)：

伊藤宗平, 龍田真. 帰納法に関する推論の計算複雑性. 第25回プログラミングおよびプログラミング言語ワークショップ発表予稿集. 2023. 1-16
浦岡竜太郎, 伊藤宗平. 形式手法を用いたPID制御装置の検証. ソフトウェア工学の基礎29. 2022. 73-78
伊藤宗平, 龍田真. 帰納的推論の計算複雑性. 日本ソフトウェア科学会第39回大会講演論文集. 2022. 1-12
Sohei Ito, Yuma Tsuji. Efficient verification of reactive system specifications by approximation. 2021. 28. 33-38
Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Efficient Realizability Checking by Modularization of LTL Specifications. The Computer Journal. 2021

ｍore...

MISC (20)：

伊藤宗平. 書評「形式的モデル化:離散事象/実時間/ハイブリッドシステムのモデル化と解析」(平石邦彦著). 計測と制御. 2019. 58. 9. 727-727
伊藤宗平. 形式手法を用いたビジネスプロセスモデリングとその検証技術に関する研究. 海洋水産エンジニアリング. 2019. 19. 146. 60-68
Sohei Ito. Semantical Equivalence of the Control Flow Graph and the Program Dependence Graph. arXiv. 2018
Dominik Vymětal, Sohei Ito. The formalization of a Generic Trading Company Model Using Software Agents as Active elements. Working Paper in Interdisciplinary Economics and Business Research, Silesian University in Opava, School of Business Administration in Karviná. 2016. 29
楫取和明, 青木邦匡, 伊藤宗平. 数学教育支援システムQDBについて. 水産大学校研究報告. 2014. 62. 4. 137-146

ｍore...

Lectures and oral presentations (11)：

An introduction to model checking: application to business process verification
(Scientific seminar, Silesian University in Opava, School of Business Administration in Karvina 2017)
Qualitative analysis of gene regulatory networks using temporal logic
(Yamaguchi Workshop on Computational Network Biology 2016)
Qualitative Analysis of Gene Networks with Alternative Splicing
(13th conference on Computational Methods for Systems Biology (CMSB2015) 2015)
Application of formal logic to informatics
(Invited lecture, Silesian University in Opava, School of Business Administration in Karvina 2014)
Formal logic and information modeling
(Invited lecture, Silesian University in Opava, School of Business Administration in Karvina 2014)

ｍore...

Education (3)：

2005 - 2008 Tokyo Institute of Technology Graduate School of Information Science and Engineering Department of Computer Science
2003 - 2005 Tokyo Institute of Technology Graduate School of Information Science and Technology Department of Computer Science
1999 - 2003 Tokyo Institute of Technology

Professional career (1)：

Work history (7)：

2020/04 - 現在 Nagasaki University School of Information and Data Sciences Associate Professor
2016/04 - 2020/03 National Fisheries University Department of Fisheries Distribution and Management Research Associate
2016/10 - 2017/09 Silesian University in Opava, School of Business Administration in Karviná Institute of Interdisciplinary Research Research Fellow
2013/04 - 2016/03 National Fisheries University Department of Fisheries Distribution and Management Research Associate
2012/04 - 2013/03 The University of Tokyo The Graduate School of Information Science and Technology Research Associate

Show all

Committee career (5)：

2022/06 - 現在電気情報通信学会ソフトウェアサイエンス研究会専門委員
2015/09 - 現在 American Mathematical Society Reviewer for Mathematical Reviews
2015 - 2020 International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO) Program comittiee
2014 - 2020 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) Program comittiee
2010/08 - 2012/03 人工知能学会第二種研究会分子情報生物研究会幹事

Awards (1)：

Association Membership(s) (1)：

JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page