Involved in ISSTA 2026, ICSE 2026, FASE 2026, ASE 2025, ICSE 2025 (NIER), ICSE 2025 (SEIP), FSE 2025, ISSTA 2025, and serves as an Associate Editor for TOSEM (Transactions on Software Engineering Methodology).
Research Experience
Prior to joining Kyushu University, held positions at Fukuoka Institute of Technology in Japan and Shanghai Jiao Tong University in China. 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.
Education
Earned B.S. degree from Tsinghua University; Ph.D. from Kyushu University.
Background
Research interests include software engineering and programming languages, with a focus on developing methods to help programmers write and maintain correct programs. His work primarily involves program analysis, code optimization, software testing, debugging, and formal verification.