Speaker
Wang Lin
Wang Lin is currently a professor with Zhejiang Sci-Tech University. His research interests include verification and design of cyber-physical systems. Many of his works were published in top-tier conferences and journals on AI and formal methods, e.g., TCAD, TECS, CAV, FM, EMSOFT, HSCC, CVPR, AAAI, IJCAI.
Talks at this event:
| Sat, 16:00 | Formal Synthesis of Neural Controllers for Autonomous Systems |