Skip to main content

Peter Wong

Personal photo - Peter Wong

Peter Yung Ho Wong

Doctoral Student

Leaving date: 20th October 2011


My doctoral research was concerned with the application of the Z notation and the process algebra CSP (or Communicating Sequential Processes) to develop a compositional approach to the specification, verification and refinement of workflow (business) processes. The research work was due to the project Choreographing Complex Services, which was part of the CancerGrid consortium. My doctoral study was financially supported by a studentship under the Microsoft Research Grant from CancerGrid.


This page is out of date. I have completed my doctorate in 2011 and am now a research software engineer at Fredhopper working on the EU FP7 project HATS. Please see my personal Web Page for more detail


View All

  • ACM Transactions on Software Engineering and Methodology
  • IEEE Transaction on Software Engineering
    External Reviewer
  • Science of Computer Programming
    External Reviewer

See also

Selected Publications

View AllManage publications