|
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.