A guide to events on our campuses.

Assembly Series

A tradition of convening thought leaders since 1953

McKelvey School of Engineering

Brown School

ESE Seminar: Yasser Shoukry

Friday, November 10, 2023 | 10:00 AM - 11:00 AM

Preston M. Green Hall, Rodin Auditorium, L0120
135 N Skinker Blvd, St. Louis, MO 63112, USA

Formal Verification of Neural Network-Controlled Autonomous Systems

Abstract: Deep Neural Networks (DNNs) are increasingly used to control physical/mechanical systems. Self-driving cars, drones, and smart cities are just examples of such systems, to name a few. However, regardless of the explosion in the use of DNNs within many cyber-physical systems (CPS) domains, the safety and reliability of these DNN-controlled CPS still need to be investigated. Mathematically based techniques for the specification, development, and verification of software and hardware systems, also known as formal methods, hold the promise to provide appropriate rigorous analysis of the reliability and safety of DNN-controlled CPS. In this talk, I will introduce our tools to verify neural networks against input-output specifications. I will then show how to translate different problems in assured autonomy and certifiable perception into a set of input-output specifications on the neural network controller. Finally, I will extend these results into other domains, including the safe offloading of neural network computations and the fairness of neural network-based decision-making.

Event Type



McKelvey School of Engineering


Science & Technology

Electrical & Systems Engineering


Event Contact

Aaron Beagle | abeagle@gmail.com

Speaker Information

Yasser Shoukry

University of California, Irvine, Samueli School of Engineering, Department of Electrical Engineering and Computer Science

Associate Professor

Hosted by: Yiannis Kantaros

Bio: Yasser Shoukry is an Associate Professor in the Department of Electrical Engineering and Computer Science at the University of California, Irvine, where he leads the Resilient Cyber-Physical Systems Lab. Before joining UCI, he spent two years as an assistant professor at the University of Maryland, College Park. He received his Ph.D. in Electrical Engineering from the University of California, Los Angeles in 2015. Between September 2015 and July 2017, Yasser was a joint postdoctoral researcher at UC Berkeley, UCLA, and UPenn. His current research focuses on designing and implementing resilient, AI-enabled, cyber-physical systems and IoT. His work in this domain was recognized by the Early Career Award from the IEEE Technical Committee on Cyber-Physical Systems in 2021, the NSF CAREER Award in 2019, the Best Demo Award from the International Conference on Information Processing in Sensor Networks (IPSN) in 2017, the Best Paper Award from the International Conference on Cyber-Physical Systems (ICCPS) in 2016, and the Distinguished Dissertation Award from UCLA EE department in 2016. In 2015, he led the UCLA/Caltech/CMU team to win the NSF Early Career Investigators (NSF-ECI) research challenge. His team represented the NSF- ECI in the NIST Global Cities Technology Challenge, an initiative designed to advance the deployment of Internet of Things (IoT) technologies within a smart city. He is also the recipient of the 2019 George Corcoran Memorial Award from the University of Maryland for his contributions to teaching and educational leadership in CPS and IoT.

Google Calendar iCal Outlook