I am a postdoctoral researcher at the Division of Decision and Control Systems, KTH Royal Institute of Technology, Sweden, collaborating with Prof. Dimos Dimarogonas. Currently, I am working on formal controller synthesis for multi-agent systems. I completed my PhD at Osaka University, Japan, where I mainly worked on supervisory control of discrete event systems for linear temporal logic specifications.
PhD in Engineering, 2020
Osaka University
Master of Engineering, 2017
Osaka University
Bachelor of Engineering, 2015
Osaka University