Skip to main content

Hongyang Qu

Personal photo - Hongyang Qu

Dr Hongyang Qu

Research Assistant

Leaving date: 23rd April 2013


Completed Projects:


I am participating in the development of the probabilistic model checker PRISM, and leading the development of MCMAS (a model checker for multi-agent system).

My publication can be found at my DBLP entry.

Selected Publications

View AllManage publications