[日本語][中文]

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 typical problem setting is shown 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}\) is not limited to classic software systems---it can be instantiated to various theoretical models or real-world systems, such as hybrid systems (cyber-physical systems), and their possible extensions with AI components. The specification \(\varphi\) is usually expressed by formal logics.

Various techniques can be developed to solve the problem, including verification, testing, 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


Selected publications

A full list can be found at my Google scholar profile.

Tutorials

Theses


Teaching

Visiting

Professional activities

Awards & Grants


Contact

last update: 2022.Jul.2