December 12, 2024

Chris successfully defended his dissertation on using property-driven reductions to automatically verify distributed systems. Congratulations Dr. Wagner!