Skip to main content

Hongyang Qu

Personal photo - Hongyang Qu

Dr Hongyang Qu

Research Assistant

Leaving date: 23rd April 2013

Themes:

Completed Projects:

Interests

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

Activities