• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID:201601013913312218   Update date: Dec. 25, 2024

Yamagata Yoriyuki

ヤマガタ ヨリユキ | Yamagata Yoriyuki
Clips
Affiliation and department:
Job title: Senior Researcher
Homepage URL  (2): https://yoriyuki.github.io/index-ja.htmlhttps://yoriyuki.github.io
Research field  (3): Software ,  Information theory ,  Basic mathematics
Research keywords  (6): Cyber physical system ,  Software verification ,  Formal methods ,  Assurance Ccase ,  Software Supply Chain ,  Bounded arithmetic
Research theme for competitive and other funds  (2):
  • 2023 - 2026 Developing a programming language for automatic synthesis of assurance cases
  • 2014 - 2017 Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking
Papers (30):
more...
Patents (1):
Education (3):
  • 1997 - 2002 The University of Tokyo Department of Mathematical Science
  • 1995 - 1997 The University of Tokyo Faculty of Science Department of Mathematics
  • 1993 - 1995 The University of Tokyo
Professional career (1):
  • 博士(数理科学) (東京大学)
Work history (10):
  • 2025/01 - 現在 University of Fukui School of Engineering
  • 2018/11 - 2024/12 National Institute of Advanced Industrial Science and Technology Cyber-Physical Security Research Center Senior reseaercher
  • 2015/04 - 2018/10 National Institute of Advanced Industrial Science and Technology Information Techonlogy Research Institute Senior reseaercher
  • 2013/03 - 2015/03 National Institute of Advanced Industrial Science and Technology (AIST) Research Institute of Secure Systems Senior Researcher
  • 2012/04 - 2013/02 National Institute of Advanced Industrial Science and Technology (AIST) Research Institute of Secure Systems Researcher
Show all
Association Membership(s) (6):
ソフトウェア科学会 ,  情報処理学会 ,  日本疫学会 ,  JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE ,  Japanese Association for the Contemporary and Applied Philosophy ,  The Association for Symbolic Logic
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page