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

Phone: +81-92-802-3625

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

I have been a professor at Kyushu University since April 2016, leading the PANGU research laboratory. Prior to that, 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 at MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) (2002-2003), a visiting professor at the National Institute of Informatics (NII) (2012-2017), and a visiting professor at Shanghai Jiao Tong University (since 2017).


My research interests are software engineering and programming languages for classical and quantum 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 (by Topic | by Year | Google Scholar) | Students | Teaching | PANGU Research Lab

Professional Activities: ICSE (2025, 2021, 2020, 2018), ESEC/FSE (2024, 2021, 2019), ISSTA 2024, ICSE 2024 (Co-Chair, Technical Briefings), ESEC/FSE (IVR, 2023, 2022), ICSE 2023 (Technical Briefings), ASE (2021, 2020, 2019), SANER (2023, 2022, 2021), QSW (2023, 2022), Q-SE (2024, 2023, 2022)

Last updated: January 10, 2024.