Ahmed Khurshid completed his Ph.D. in Computer Science from University of Illinois at Urbana-Champaign (UIUC) in July 2015. He was advised by Prof. Matthew Caesar. His research work focuses on improving security and availability of networked systems. He is developing tools to validate routing and security properties of a network using black-box analysis of network behavior. He is continuing his work on network property verification as a Postdoctoral Researcher in Prof. Caesar's group. Before joining the UIUC Ph.D. program, Ahmed completed his Bachelor's and Master's degree in Computer Science and Engineering (CSE) from Bangladesh University of Engineering and Technology (BUET), Dhaka, Bangladesh.