PI Ying Wang discusses the WRAP project: Programmable Wireless Infrastructure with Formal Assurance for Cross-Campus Research. Wang talks about how formal assurance translates researcher goals into verifiable policies and how runtime anomaly detection ensures continuous, secure operation.