I am a fifth year PhD student at School of Engineering and Applied Science,
Harvard University, working with Prof. Minlan Yu. I am interested in distributed systems, datacenter networks, and programmable devices.
I obtained my bachelor degree from Tsinghua University and worked in Network Security Lab with Prof. Jun Li as an undergraduate.
jiaqigao [at] g.harvard.edu
Systems & Networking
Ph.D. in Computer Science, Harvard University, 2018-Present
Ph.D. in Computer Science, Yale University, 2016-2018
B.E. in Automation, Tsinghua University, 2012-2016
Aquila: A Practically Usable Verification System forProduction-Scale Programmable Data Planes
Bingchuan Tian*, Jiaqi Gao*,
Mengqi Liu, Ennan Zhai, Yanqing Chen, YuZhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu,
Xionglie Wei,Hongqiang Harry Liu, Ming Zhang, Chen Tian, and Minlan Yu.