Siyuan Liu

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

sy.liu@tum.de