Hongyang Qu

| Department of Computing

Welcome to my homepage

I am a Research Associate working for the European project “Contract based Systems Engineering Methods for Verifiable Cross-Organisational Networked Business Applications”. The main responsibilities include theoretical research on verification of electronic contracts and development of a verification tool.