|
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.
Recent activities: ICSE 2026, ICSE 2025, ICSE 2025 (NIER), ICSE
2025 (SEIP), FSE 2025, ISSTA 2025, TOSEM (Associate Editor)
Last updated: July 6, 2024.