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)
Event Format
Language
English
Recommended For
Alumni
Faculty and staff
PG students
More Information
Organizer
Department of Computer Science and Engineering
Contact
Tel: 2358 7008