Computer Science and Engineering Distinguished Seminar - "Synthesizing (Differential) Invariants by Reduction Non-convex Programming to SDP"
4:00pm - 5:00pm
Leung Yat Sing Lecture Theater (LT-F), near lift 25/26, HKUST
Speaker: Professor Naijun ZHAN
Distinguished Research Professor
Institute of Software Chinese Academy of Sciences (ISCAS)
活动形式
语言
英文
适合对象
校友
教职员
研究生
主办单位
计算器科学及工程学系
联系方法
Tel: 2358 7008