معرفی
Zhenya Zhang is an Assistant Professor at the Intelligent Software Engineering Laboratory, Faculty of Information Science and Electrical Engineering, Kyushu University, Japan. He also serves as a Project Researcher at the National Institute of Informatics, Tokyo. His research focuses on formal methods for safety-critical complex systems, including hybrid systems (cyber-physical systems) and AI-based systems like autonomous vehicles.
- PhD in Informatics (2020), National Institute of Informatics/SOKENDAI
- Master in Computer Science (2017), Institute of Software Chinese Academy of Sciences/University of Chinese Academy of Sciences
- Bachelor in Software Engineering (2014), Northwestern Polytechnical University
Research Interests:
Quality assurance of safety-critical systems through formal methods. Specializes in verification, testing, and monitoring of hybrid systems and AI-controlled cyber-physical systems, with applications in autonomous driving validation. Key contributions include optimization-based falsification techniques and confidence measures for robustness analysis.
Article Trends:
Recent work emphasizes neural network verification, Monte Carlo Tree Search for falsification, and signal temporal logic monitoring. Collaborations span institutions in Japan, Singapore, and Italy, with tools like FalStar and Tumb developed for CPS testing.
- Scientific Awards:
- ACM SIGSOFT Distinguished Paper Award (ASE'24)
- 2nd rank in UAV Testing Competition (SBFT'24@ICSE'24)
- Best Paper Award nominee (EMSOFT 2018)
- National Scholarship, China (2011, 2012)
Grants:
Principal Investigator for JST BOOST (2025-2030) and multiple JSPS/Japan Society for the Promotion of Science grants. Current projects focus on neural network verification and fine-grained monitoring of temporal logic specifications.
Labs & Collaborations:
Works with the ERATO Metamathematics for Systems Design Project and contributes to ARCH-COMP competitions. Tools under development include FalStar-MCTS and ForeSee for hybrid system falsification.
