Jianjun Zhao is a Professor at the Faculty of Information Science and Electrical Engineering at Kyushu University. Before that, he worked at the Fukuoka Institute of Technology and Shanghai Jiao Tong University. He obtained his B.S. degree at Tsinghua University and his Ph.D. at Kyushu University. His research interests include software engineering and programming languages. Much of his current research focuses on techniques that make quantum software more robust, reliable, secure, and easier to specify, build, maintain, or improve.