Computer Science Department Professor George Varghese delivered a keynote address, “Network Verification—When Clarke Meets Cerf,” on October 6th at the Formal Methods in Computer-Aided Design (FMCAD) Conference held in Mountain View, CA.

George Varghese is a Chancellor’s Professor of Computer Science at UCLA, and his fields of interest are in network verification and network algorithmic. Prior to joining UCLA, George was a professor at Washington University and at UCSD; this was followed by several years as a principal researcher and partner at Microsoft Research.