Final Public Oral

Naorin Hossain FPO "Navigating Emerging Complexities of Modern Systems: Advancements in Automated Verification and Security Techniques" in CS 302

01-11-2024

Udaya Ghai FPO

12-18-2023

Devon Loehr FPO (CS 302) & Zoom

12-01-2023

Edgar Minasyan FPO

10-17-2023

Xiaoqi Chen FPO "Designing Compact Data Structures for Network Measurement and Control" in Friend Center 125 (and Zoom).

10-04-2023

Minsung Kim FPO "Quantum and Quantum-Inspired Computation for Wireless Networks"

10-03-2023

"Tony" Runzhe Yang FPO

09-26-2023

Qinshi Wang FPO "Formally verifiable data plane programming" in CS 402

08-24-2023

Mingzhe Wang FPO

08-21-2023

Sven Dorkenwald FPO

08-18-2023

Subscribe to Final Public Oral