[日本語][中文]

Zhenya ZHANG (张振亚)

I am an assistant professor in Intelligent Software Engineering Laboratory, Faculty of Information Science and Electrical Engineering, Kyushu University.

Research interests

In general, I am interested in quality assurance of safety-critical complex systems, via formal methods. A commonly-seen problem statement is given as follows:

given a system model \(\mathcal{M}\) and a specification \(\varphi\), show either \(\mathcal{M}\models \varphi\) or \(\mathcal{M}\not\models \varphi\).

The system \(\mathcal{M}\) includes but is not limited to classic software systems -- it can be instantiated to a wide range of abstract models and their real-world extensions, such as hybrid systems (a.k.a. Cyber-Physical Systems) and AI-based systems (e.g., autonomous driving systems). The specification \(\varphi\) can be formally expressed, using logic languages such as temporal logic.

Various techniques have been developed to solve the problem, among which I'm very interested in verification, testing and monitoring. This is where theories and applications of software science meet: we apply theories to solve real-world problems, and these real-world concerns in return enrich the theories.

Employment

Education

Internship

Tools

Selected Publications

see my [Google scholar] profile for a full list

Patents

Tutorials

Theses

Talks

Teaching

Grants

Professional activities

Event Organizer

Program Committee

Awards

Contact