Ahmed Khurshid is Co-Founder and Principal Engineer of Veriflow.
He received his Ph.D. in Computer Science from University of Illinois at Urbana-Champaign (UIUC) in 2015, where his research work focused on improving security and availability of networked systems. He has worked in the area of formal verification of networks for over six years. He designed and built the first real-time data plane verification system, described in a publication that has hundreds of citations. Dr. Khurshid worked on novel cloud computing infrastructures and SDN frameworks while at Microsoft Research and Cisco Systems, respectively. Before joining the UIUC Ph.D. program, Dr. Khurshid worked as a lecturer in the Department of Computer Science and Engineering (CSE) at Bangladesh University of Engineering and Technology (BUET) for three years. He also worked as a CNAP (Cisco Networking Academy Program) instructor for over a year teaching network configuration and troubleshooting. He received the International Fulbright Science and Technology Ph.D. Award in 2008, HotSDN best paper award in 2012, and was recognized for the Illinois Innovation Prize 2015. He completed his Bachelor’s and Master’s degree in CSE from BUET, Dhaka, Bangladesh.