Yoriyuki Yamagata
山形 賴之
Associate Professor
Faculty of Engineering, University of Fukui
Faculty of Engineering, University of Fukui
Ph.D. in Mathematical Sciences / University of Tokyo
Links
Career
- Jan 2025 – presentAssociate Professor, Faculty of Engineering, University of Fukui
- Nov 2018 – Dec 2024Senior Researcher, Cyber Physical Security Research Center, AIST
- Apr 2015 – Oct 2018Senior Researcher, Information Technology Research Institute, AIST
- Mar 2013 – Mar 2015Senior Researcher, Research Institute for Secure Systems, AIST
- Apr 2012 – Feb 2013Researcher, Research Institute for Secure Systems, AIST
- Apr 2010 – Mar 2012Researcher, Research Center for Embedded Systems, AIST
- Apr 2008 – Mar 2010Researcher, Research Center for Verification and Semantics, AIST
- Apr 2005 – Mar 2008Fixed-term Researcher, Research Center for Verification and Semantics, AIST
- Aug 2004 – Mar 2005Special Researcher, Research Center for Verification and Semantics, AIST
- Sep 2002 – Mar 2003Part-time Lecturer, Department of Mathematics, Tokyo Metropolitan University
While at AIST, I collaborated with companies and public organizations on formal verification and security (e.g., Ishida Co., Ltd., CATS Co., Ltd., LETech Co., Ltd. (article in Japanese), and the Fukuoka Industry, Science and Technology Foundation).
Education
- Apr 1997 – Mar 2002PhD, Graduate School of Mathematical Sciences, University of Tokyo
- Apr 1995 – Mar 1997Department of Mathematics, Faculty of Science, University of Tokyo
- Apr 1993 – Mar 1995College of Arts and Sciences (Science I), University of Tokyo
Skills
Programming Languages
OCaml
Python
Scala
Java
MATLAB
Ruby
R
Haskell
OS & Frameworks
Linux
PyTorch
Spark
MATLAB/Simulink/Stateflow
Languages
English (professional)
Italian (basic)
Hobbies
Outside of research, I enjoy playing the piano — not only classical repertoire, but also film and anime scores such as the soundtrack of Violet Evergarden. (Though I should warn you: pieces I'm not actively practicing fade fast, so please don't ask me to perform on the spot!) I also enjoy watching anime and reading, especially philosophy, history, nonfiction, and manga.