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):
Yoriyuki Yamagata, Shunki Takami, Keisuke Yamazaki, Tomoki Nakaya, Masaki Onishi. Individual-based epidemiological model of COVID19 using location data. 2022 IEEE International Conference on Big Data (Big Data). 2022
Yoriyuki Yamagata, Fabien Herve, Yuji Fujiwara, Katsuro Inoue. Finding repeated strings in code repositories and its applications to code-clone detection. 2021 28th Asia-Pacific Software Engineering Conference (APSEC). 2021
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
2010/04 - 2012/03 National Institute of Advanced Industrial Science and Technology (AIST) Embedded system technology collaboration research body Researcher
2008/04 - 2010/03 National Institute of Advanced Industrial Science and Technology (AIST) Research Center of Verification and Semantics Researcher
2005/04 - 2008/03 National Institute of Advanced Industrial Science and Technology (AIST) Research Center of Verification and Semantics Researcher
2004/08 - 2005/03 National Institute of Advanced Industrial Science and Technology (AIST) Research Center of Verification and Semantics Postdoc
2002/09 - 2003/03 Tokyo Metropolitan University Department of Mathematics Part-time Lecturer
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