Final Public Oral

Kathy Chen FPO

04-09-2024

Ksenia Sokolova FPO

03-18-2024

Uthsav Chitra FPO

03-01-2024

Jeff Helt FPO (CS 105)

02-16-2024

Tim Alberdingk Thijm FPO "Modular Control Plane Verification" CS 105 & Zoom

02-09-2024

Arushi Gupta FPO

02-08-2024

Yuan Wang FPO

02-05-2024

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

Subscribe to Final Public Oral