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 Phone: +86-92-802-3625 zhao [at] ait.kyushu-u.ac.jp

---

I have been a professor at Kyushu University since April 2016. I was a professor at Shanghai Jiao Tong University (2005~2016), an assistant/associate professor

at Fukuoka Institute of Technology (1997~2005), a visiting scientist with Prof. Martin Rinard at MIT Computer Science & Artificial Intelligence Lab (2002~2003),

a guest professor with Prof. Zhenjiang Hu at National Institute of Informatics (2012~2017), and a visiting professor at Shanghai Jiao Tong University (since 2017).

My research interests are programming languages and software engineering for classical and non-classical computing.

I am interested in all the approaches for helping programmers write and maintain correct programs, and particularly interested in developing program analysis, code optimization, software testing, program debugging, and formal verification techniques to facilitate program correctness.

---

► I'm looking for self-motivated Ph.D. students. If interested, please contact me directly!

---

Papers (Google Scholar) | Students | Teaching | Pangu Research Lab

Professional Activities: ESEC/FSE 2022 (IVR), SANER 2022, ESEC/FSE 2021, ICSE 2021, ASE 2021, MODELS 2021, SANER 2021, ICSE 2020, ASE 2020

---

Last updated: July 28, 2021.