Description: Postdoctoral Researcher
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