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