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