Jianjun Zhao

Kyushu University, Huazhong University of Science and Technology

Papers

Total Citations

H-Index

About

Jianjun Zhao is a leading researcher at the intersection of software engineering and cyber-physical systems, with a primary focus on the reliability and formal verification of intelligent decision-making systems. His most impactful work addresses the critical challenge of testing decision-making policies—the core of autonomous driving and robotics—where he pioneered generative model-based testing approaches to ensure system safety and robustness. This work, published in 2023, has already garnered 14 citations, reflecting the urgent relevance of his contributions to the field. Zhao is also recognized for his innovative software-physical synergetic design methodology for mechatronic systems, where he employs formal functional models to achieve seamless integration between software and physical components. His research bridges the gap between theoretical verification and practical deployment, offering systematic solutions for testing complex autonomous systems. By advancing both the design and validation of safety-critical software, Zhao’s work provides essential foundations for the next generation of reliable autonomous technologies, making him a key figure in ensuring the trustworthiness of AI-driven decision-making in real-world applications.