Curriculum vitae

At a government research institute, I have a wide range of experience from developing commercial software to conducting cutting-edge research on software testing, software verification and theoretical computer science. I have long experience of industry collaboration. Therefore, I can help you to forge a strong partnership between academia and industry, and deliver advanced research into the everyday practice of software development.

Currently, I am mostly interested in an application of machine learning to software test generation, verification and monitoring as well as testing, verifying and safety/security of machine learning systems.

Yoriyuki Yamagata

1-8-31 Midorigaoka, Ikeda, Osaka 563-8577, Japan



Doctor of Philosophy (Mathematical Science): Mar. 2002

The University of Tokyo, Tokyo, Japan, Thesis title: Classical logic and computation, Adviser: Professor Ryu Hasegawa

Bachelor of Science: Mar. 1997

The University of Tokyo, Department of Science, Tokyo, Japan

Current Research Interest

Research Experience

Senior Scientist at National Institute of Advanced Industrial Science and Technology (AIST): Apr. 2013 - Present

Research Scientist at National Institute of Advanced Industrial Science and Technology (AIST): Apr. 2005 - Mar. 2013

Research Staff at National Institute of Advanced Industrial Science and Technology (AIST): Aug. 2004 - Mar. 2005

Develop a software update system which emphasizes security, (in collaboration with Ishida Co., Ltd.,) [P2011]

Doctoral Student at the University of Tokyo: Apr. 1999 - Mar. 2002

Prove termination properties of programming languages which are inspired by classical logic (a logical system) [Journal 4, 5, Presentation 14]

Teaching Experience

Lecturer at Osaka University: Jul. 2013 (parttime)

Teach verification of concurrent systems

Lecturer at Tokyo Metropolitan University: Sep. 2002 - Mar. 2003 (parttime)

Teach cryptographic algorithm using Mathematica


Journal papers

  1. Yamagata, Y., Kong, W., Fukuda, A., Van Tang, N., Ohsaki, H., & Taguchi, K. (2014). A formal semantics of extended hierarchical state transition matrices using CSP. Formal Aspects of Computing, 26(5).

  2. Yamagata, Y. (2012). Bounded Arithmetic in Free Logic. Logical Methods in Computer Science, Volume 8, Issue 3.

  3. Berardi, S., & Yamagata, Y. (2008). A sequent calculus for Limit Computable Mathematics. Annals of Pure and Applied Logic, 153(1–3).

  4. Yamagata, Y. (2004). Strong normalization of the second-order symmetric λμ-calculus. Information and Computation, 193(1).

  5. Yamagata, Y. (2002). Strong normalization of a symmetric lambda calculus for second-order classical logic. Archive for Mathematical Logic, 41(1).

  6. Yamagata, Y. Consistency proof of a fragment of PV with substitution, Journal of Symbolic Logic, To appear

Conference presentations

  1. Akazaki, T., Liu, S., Yamagata, Y., Duan, Y., & Hao, J. (2018). Falsification cyber-physical systems using deep reinforcement learning. In Formal Methods. FM 2018. Springer, Cham

  2. Inoue, J., & Yamagata, Y. (2017). Operational semantics of process monitors. In International Conference on Runtime Verification. Springer, Cham.

  3. Inoue, J., Yamagata, Y., Chen, Y., Poskitt, C. M., & Sun, J. (2017). Anomaly detection for a water treatment system using unsupervised machine learning. In Data Mining Workshops (ICDMW), 2017 IEEE International Conference. IEEE.

  4. Harada, Y., Yamagata, Y., Mizuno, O., & Choi, E.-H. (2017). Log-based anomaly detection of CPS using a statistical method. In International Workshop on Empirical Software Engineering in Practice (IWESEP2017), IEEE

  5. Kohan, A., Yamamoto, M., Artho, C., Yamagata, Y., Ma, L., Hagiya, M., & Tanabe, Y. (2017). Java Pathfinder on Android Devices. ACM SIGSOFT Software Engineering Notes, 41(6).

  6. Yamagata, Y., Artho, C., Hagiya, M., Inoue, J., Ma, L., Tanabe, Y., & Yamamoto, M. (2016). Runtime monitoring for concurrent systems. In International Conference on Runtime Verification. Springer, Cham.

  7. Weitl, F., Sebih, N., Artho, C., Hagiya, M., Tanabe, Y., Yamagata, Y., & Yamamoto, M. (2015). Cardinality of UDP transmission outcomes. In International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, Cham.

  8. Artho, C., Havelund, K., Kumar, R., & Yamagata, Y. (2015). Domain-specific languages with Scala. In International Conference on Formal Engineering Methods. Springer, Cham.

  9. Artho, C., Seidl, M., Gros, Q., Choi, E.-H., Kitamura, T., Mori, A., Ramler, R., Yamagata, Y. (2015). Model-based testing of stateful APIs with Modbat. In 30th International Conference on Automated Software Engineering (ASE 2015). IEEE.

  10. Fang, L., Yamagata, Y., & Oiwa, Y. (2014). Evaluation of a resilience embedded system using probabilistic model-checking. In Proc. 3rd International Workshop on Engineering Safety and Security Systems 2014 (ESSS’14), volume 150 of EPTCS. 2014.

  11. Artho, C., Hayamizu, K., Ramler, R., & Yamagata, Y. (2013). With an open mind: How to write good models. In International Workshop on Formal Techniques for Safety-Critical Systems. Springer, Cham.

  12. Kong, W., Liu, L., Yamagata, Y., Taguchi, K., Ohsaki, H., & Fukuda, A. (2012). On accelerating smt-based bounded model checking of hstm designs. In Software Engineering Conference (APSEC), 2012 19th Asia-Pacific (Vol. 1). IEEE.

  13. Yamagata, Y., Kong, W., Fukuda, A., Nguyen, V. T., Ohsaki, H., & Taguchi, K. (2012). Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Software Engineering Notes, 37(4).

  14. Yamagata, Y. (2001). Strong normalization of second order symmetric lambda-mu calculus. In International Symposium on Theoretical Aspects of Computer Software. Springer, Berlin, Heidelberg.