Nov 28, 10:00 - 10:45, Formal Verification of Neural Network Controlled Cyber-Physical Systems (B2 5220), Prof. Yasser Shoukry, University of California, Irvine, USA
Feb 3, 13:30 - 15:00, Fully-integrated systems and self-powered gas sensors for sustainable environment monitoring (B3 L5 R5209), Mani Teja Vijjapu, Ph.D. Student, Electrical and Computer Engineering