Zhenya ZHANG (张振亚)

I am a research fellow at Nanyang Technological University, working in the group of Prof. Yang Liu.


Employment

Education

Research interests

My research interest lies at the intersection of formal methods and software testing. My PhD thesis is about hybrid system falsification, an approach to quality assurance of Cyber-Physical Systems. System requirements are given in rigorous mathematics, namely, temporal logics, while methodologies rely on metaheuristic-based optimization techniques. Prior to joining ERATOMMSD Project, my research topic was on testing concurrent data structures against correctness criteria like linearizability.

Publications

Journal papers

Conference papers

Workshop abstracts, reports

Theses


Talks

Research visits

Professional activities

Awards & Grants


Contact

last update: 2021.Oct.1