conf.researchr.org / Zhenya Zhang
![Zhenya Zhang](https://conf.researchr.org/getProfileImage/zhenyazhang/43725ed4-20c3-4088-8895-dd4fd90759d5/small.jpg?1711553810000)
Registered user since Tue 22 Sep 2020
Name:Zhenya Zhang
Country:Japan
Affiliation:Kyushu University, Japan
Personal website: https://choshina.github.io/
Research interests:Formal methods, Hybrid system falsification, Temporal logic, Runtime verification
Contributions