Siyuan Liu is a Digital Futures Postdoc Fellow at the Division of Decision and Control Systems in the KTH Royal Institute of Technology, Stockholm, Sweden. Before joining KTH, she was a research assistant in the Hybrid Control Systems (HyConSys) Lab at Ludwig-Maximilian University of Munich, Germany. She received her Ph.D. degree (in Electrical and Computer Engineering, 2022) from Technical University of Munich (TUM), Germany, her M.E. degree (in Control Engineering, 2017) and B.E. degree (in Automation Science, 2014) both from Beihang University, China. In 2021, she was a visiting researcher at KTH Royal Institute of Technology, Stockholm, Sweden.

Research Interest

• Compositional synthesis and verification of large-scale systems
• Formal methods
• Safety and security in cyber-physical systems
• Nonlinear control systems
• Stochastic systems
• Multi-agent systems

Contact

Email: siyliu@kth.se
Address:
Malvinas Väg 10
114 28 Stockholm
Sweden