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.
ACM SIGCOMM 2021
Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on
Jiaqi Gao, Ennan Zhai, Hongqiang Harry Liu, Rui Miao, Yu Zhou, Bingchuan Tian,
Chen Sun, Dennis Cai, Ming Zhang, and Minlan Yu