Matthew Caesar. Her research focuses on network verification and synthesis, with an emphasis on software-defined networks, data centers, and enterprise networks. She received her Bachelor’s degree in Electronic Engineering from Beijing University of Aeronautics and Astronautics, China, and her Master’s degree in Computer Science from UIUC. She co-authored research that led to network verification startup Veriflow, where she serves as one of the original engineers on the core verification team.