FullSizeRender (2)

Jianjun Zhao

Professor (Ph.D., Kyushu University, B.E., Tsinghua University)

Faculty of Information Science and Electrical Engineering

Kyushu University

744 Motooka, Nishi-ku, Fukuoka 819-0395, Japan

zhao [at] ait.kyushu-u.ac.jp


I am a Professor in the Faculty of Information Science and Electrical Engineering at Kyushu University. Prior to this, I held positions at the Fukuoka Institute of Technology in Japan and Shanghai Jiao Tong University in China. I earned my B.S. degree from Tsinghua University and my Ph.D. from Kyushu University. I have also served as a visiting scientist at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL), a visiting professor at the National Institute of Informatics (NII), Japan, and a visiting professor at Shanghai Jiao Tong University.

 

My research interests include software engineering and programming languages, with a focus on developing methods to help programmers write and maintain correct programs. My work primarily involves program analysis, code optimization, software testing, debugging, and formal verification.


Papers | Students | Teaching

Recent activities: ICSE 2026, ICSE 2025, ICSE 2025 (NIER), ICSE 2025 (SEIP), FSE 2025, ISSTA 2025, TOSEM (Associate Editor)


Last updated: July 6, 2024.