Siyuan Liu

Digital Futures Postdoctoral Fellow, Postdoc project: Secure-by-Construction Controller Synthesis of Cyber-Physical Systems

Active in these projects

Completed

Siyuan Liu: Secure-by-Construction Controller Synthesis of Cyber-Physical Systems

1 November 2022 – 31 December 2024...

Read more

Postdoc Fellowships

Siyuan Liu: Secure-by-Construction Controller Synthesis of Cyber-Physical Systems

About the project ObjectiveThis project advocates a...

Read more