He received his Ph.D. at UC Berkeley in May 2009, and his B.S. at Carnegie Mellon University in 2002. His research interests lie in the design of networked systems and algorithms. He is a winner of the Sloan Research Fellowship (2014), the UIUC Dean's Award for Excellence in Research (2015), the National Science Foundation CAREER Award (2012), an Internet2 Innovative Application Award (2013), and the ACM SIGCOMM Rising Star Award (2015), in addition to several best paper awards. He was a Beckman Fellow at the UIUC Center for Advanced Study in 2014-2015, and served as program committee co-chair of ACM HotNets 2014 and the Symposium on SDN Research 2016. He co-founded and serves as CTO of Veriflow, a startup commercializing research in network verification.