Title: Correctness and Verification using Software Contracts
School of Electrical Engineering and Computer Science
October 2024
Tuesday, October 1 @12:10 pm
Workshop / Seminar
Online - Online
Tuesday, October 1 @1 pm
Presentation
WSU Pullman - Electrical and Mechanical Engineering Building
ESIC-AGI FA24 Power Seminar Series: Recent Advances in Applying Electromagnetics to Transmission Line Design
Tuesday, October 8 @12:10 pm
Workshop / Seminar
Online - Online
Title: Does Space AI Security Matter? Unlocking Privacy-Preserving Federated LEO Satellite Learning for Border Threat Detection
Tuesday, October 8 @1 pm
Presentation
WSU Pullman - Electrical and Mechanical Engineering Building
This talk will introduce a comprehensive resiliency metric framework, designed to evaluate the grid’s performance in adverse weather conditions. The metrics fall under two categories: System Performance, which assesses the grid’s ability to endure extreme events, and Operational Performance, measuring its recovery capacity. Through this framework, we can better understand, measure, and enhance the resilience of our electric distribution grid.