Siyuan Liu is currently a Wallenberg-NTU Presidential Postdoctoral Fellow (Forskare) at the Division of Decision and Control Systems at the KTH Royal Institute of Technology, Sweden. From 2023 to 2024, she was a Digital Futures Postdoc Fellow at KTH. 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
• Multi-agent systems
• Safety and security in cyber-physical systems
• Nonlinear control systems
• Stochastic systems

Contact

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