Rchr
J-GLOBAL ID:200901018732056992   Update date: Sep. 18, 2020

Ito Sohei

イトウ ソウヘイ | Ito Sohei
Affiliation and department:
Job title: 准教授
Research field  (2): Biological, health, and medical informatics ,  Software
Research keywords  (8): Business Process ,  Multi-agent system ,  Process Mining ,  Ontology ,  Mathematical Logic ,  Systems Biology ,  Software Engineering ,  Formal Methods
Research theme for competitive and other funds  (1):
  • 2014 - 2016 形式手法を用いた遺伝子ネットワーク解析手法に関する研究
Papers (24):
more...
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
more...
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)
more...
Education (3):
  • 2005 - 2008 Tokyo Institute of Technology Department of Computer Science
  • 2003 - 2005 Tokyo Institute of 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 (4):
  • 2015/09 - 現在 American Mathematical Society Reviewer for Mathematical Reviews
  • 2015 - 現在 International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO) Program comittiee
  • 2014 - 現在 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) Program comittiee
  • 2010/08 - 2012/03 人工知能学会第二種研究会分子情報生物研究会 幹事
Awards (1):
  • 2013/02 - BIOINFORMATICS/BIOSTEC 2013 Best Paper Award
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