CEMSE Weekly Updates - October 13, 2026 Tue, Oct 13 2026 Newsletter Upcoming Events Stay informed about the upcoming events and the latest news from CEMSE. KAUST Workshop on AI-Enabled Microwave Sensing and Communication Oct 18, 08:30 - 18:45 B9 L2 R2325 microwave sensing coding techniques for Terahertz Integrated Sensing and Communications AI wearable and flexible antennas computational electromagnetics Exploring research developments and challenges across AI-enabled microwave engineering, millimeter-wave imaging, and wearable RF sensing for healthcare and communications applications. Reading Theorems in Lean Diogo Gomes, Associate Dean for Students, Computer, Electrical and Mathematical Sciences and Engineering Oct 22, 12:00 - 13:00 B9 R2325 proof assistant Computational mathematics Applied Machine Learning mathematics mathematical modelling This seminar introduces the Lean proof assistant from the perspective of reading and auditing mathematical statements, exploring its role in auto-formalization and its capacity to expose tacit assumptions in mathematical research. Towards Trustworthy Acceleration for AI Systems Yuchen Yang, Assistant Professor, Privacy and Cybersecurity Informatics, The Pennsylvania State University (PSU) Oct 22, 12:00 - 13:00 B4 R5209 Trustworthy AI Efficient AI accelerators trustworthy machine learning privacy-preserving AI Security and Privacy secure AI secure system design In this talk, I will show how inference acceleration can not only weaken safety and security but also become a tool for attackers, and how these findings guide secure system design.
Diogo Gomes, Associate Dean for Students, Computer, Electrical and Mathematical Sciences and Engineering
