Siyuan Liu

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

siyliu@kth.se