Zhiqiang Zuo is now an assistant (research) professor in Nanjing University, China. His research interests span Programming Languages, Software Engineering, Parallel/Distributed Computing, and Big Data Systems. He’s recently focusing on building Big Data supports for scalable program analysis, synthesis and SAT solving. He was a postdoctoral scholar in University of California, Irvine.