Peter Y. H. Wong

Medium: medium.com/@peteryhwong | Github: github.com/peteryhwong | Twitter: twitter.com/peteryhwong

About

Dr. Wong Yung Ho Peter is the Chief Technology Officer of Prenetics. Dr Wong joined in 2017 and has been leading Prenetics' global technology vision and roadmap, and engineering delivery. Prior to Prenetics, Dr. Wong was the Head of Engineering at Travelex, where he led Travelex’s first digital transformation and B2B business. He successfully delivered a brand new international money transfer service, Travelex Wire, and launched Travelex’s first international payment platform with the World Bank Group. Dr. Wong has experience across various industries including investment banking and eCommerce; and is a frequent speaker at technology events including AWS Summit and various universities. Dr. Wong holds a Doctorate degree in Computer Science from the University of Oxford, and B.Sc. and M.Sc. degrees in Computer Science from the University of Warwick.

Education

Research Projects

    • Envisage -- Engineering Virtualized Service (Oct 2013 - Sep 2016)

    • BETTY (COST Action IC1201) -- Behavioural Types for Reliable Large-Scale Software Systems (Oct 2012 - Oct 2016)

    • HATS -- Highly Adaptable and Trustworthy Software using Formal Models (Mar 2009 - Feb 2013)

Research Interests

Dr. Wong is interested in the application of formal methods (formal specification, model-based testing and formal verification) to industrial software development.

Dr. Wong's doctoral research considered the application of the Z notation and the process algebra CSP (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. His doctoral study was financially supported by a studentship under the Microsoft Research Grant from CancerGrid.

Publications (also on DBLP and Google Scholar)

Book Chapters

    1. D. Clarke, N. Diakov, R. Hähnle, E.B. Johnsen, I. Schaefer, J. Schäfer, R. Schlatte, P.Y.H. Wong, Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. Formal Methods for Eternal Networked Software Systems, volume 6659 of LNCS. Jun 2011. DOI (10.1007/978-3-642-21455-4_13)

Journal Publications

Conference and Workshop Publications

  1. L. Feng, K. Meinke, F. Niu, M. Sindhu and P.Y.H. Wong, Case Studies in Learning-based Testing. In Proceedings of 25th IFIP International Conference on Testing Software and Systems, volume 8254 of LNCS, Istanbul, Turkey, Nov 2013. DOI (10.1007/978-3-642-41707-8_11).

  2. F.S. de Boer, S. de Gouw and P.Y.H. Wong, Run-Time Verification of Coboxes. In Proceedings of 11th International Conference on Software Engineering and Formal Methods, volume 8137 of LNCS, Madrid, Spain, Sep 2013. DOI (10.1007/978-3-642-40561-7_18).

  3. E. Albert, P. Arenas, M. Gómez-Zamalloa, and P.Y.H. Wong, aPET: A Test Case Generation Tool for Concurrent Objects. In Proceedings of 21st ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russia, Aug 2013. DOI (10.1145/2491411.2494590).

  4. P.Y.H. Wong, Compositional Development of BPMN. In Proceedings of 12th International Conference on Software Composition, volume 8088 of LNCS, Budapest, Hungary. Jun 2013. DOI(10.1007/978-3-642-39614-4_7)

  5. E. Giachino, C.A. Grazia, C. Laneve, M. Lienhardt and P.Y.H. Wong, Deadlock Analysis of Concurrent Objects: Theory and Practice. In Proceedings of 10th International Conference on integrated Formal Methods, volume 7940 of LNCS, Turku, Finland, Jun 2013. DOI(10.1007/978-3-642-38613-8_27)

  6. S. de Gouw, F.S. de Boer, E.B. Johnsen and P.Y.H. Wong, Run-Time Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. In Proceedings of 28th ACM Symposium on Applied Computing, Track on Object Oriented Programming Languages and Systems, Coimbra, Portugal, Mar 2013. DOI(10.1145/2480362.2480656)

  7. R. Hähnle, M. Helvensteijn, E.B. Johnsen, M. Lienhardt, D. Sangiorgi, I. Schaefer and P.Y.H. Wong, HATS Abstract Behavioral Specification: The Architectural View. In Proceedings of 8th International Symposium on Formal Methods for Components and Objects, volume 7542 of LNCS, Torino, Italy, Oct 2011. DOI(10.1007/978-3-642-35887-6_6)

  8. M.H. ter Beek, M. Becker, A. Classen, F. Roos-Frantz, I. Schaefer and P.Y.H. Wong. Formal Methods and Analysis in Software Product Line Engineering - 3rd edition of FMSPLE workshop series. In Proceedings of 16th International Conference on Software Product Line Conference (SPLC 2012), Salvador, Brazil, ACM, Sep 2012. DOI(10.1145/2362536.2362576)

  9. F.S. de Boer, R. Hähnle, E.B. Johnsen, R. Schlatte and P.Y.H. Wong, Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. In Proceedings of European Conference on Service-Oriented and Cloud Computing, volume 7592 of LNCS, Bertinoro, Italy. Sep 2012. Invited for special issue in Service Oriented Computing and Applications. DOI(10.1007/978-3-642-33427-6_7)

  10. M. Helvensteijn, R. Muschevici and P.Y.H. Wong, Delta Modeling in Practice - A Fredhopper Case Study. In Proceedings of 6th International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS 2012), ACM, Leipzig, Germany. Jan 2012. DOI(10.1145/2110147.2110163).

  11. P.Y.H. Wong, N. Diakov and I. Schaefer, Modelling Software Product Lines using HATS Approach – A Fredhopper Case Study. In Proceedings of 2nd International Conference on Formal Verification of Object-Oriented Software, volume 7421 of LNCS, Torino, Italy, Jul 2012. DOI(10.1007/978-3-642-31762-0_5)

  12. D. Bavides, M. Leuker, M. Becker, R. Rabiser, K. Villela and P.Y.H. Wong. Formal Methods and Analysis in Software Product Line Engineering. In Proceedings of 15th International Conference on Software Product Line Conference (SPLC 2011), Munich, Germany, IEEE Computer Society, August 2011. DOI(10.1109/SPLC.2011.39).

  13. D. Clarke, N. Diakov, R. Hähnle, E.B. Johnsen, G. Puebla, B. Weitzel and P.Y.H. Wong, HATS - A Formal Software Product Line Engineering Methodology. In Proceedings of International Workshop on Formal Methods in Software Product Line Engineering, 2nd volume of Proceedings of 14th International Conference on Software Product Line, Jeju Island, South Korea. Sep 2010.

  14. P.Y.H. Wong and J. Gibbons, Property Specifications for Workflow Modelling. In Proceedings of 7th International Conference on Integrated Formal Methods, volume 5423 of LNCS, Dusseldorf, Germany. Feb 2009. Invited for special issue in Science of Computer Programming. DOI(10.1007/978-3-642-00255-7_5). (Extended version)

  15. P.Y.H. Wong and J. Gibbons, A Process Semantics for BPMN. In Proceedings of 10th International Conference on Formal Engineering Methods, volume 5256 of LNCS, Kitakyushu (Kokura), Japan. Oct 2008. DOI (10.1007/978-3-540-88194-0_22). (Extended version)

  16. P.Y.H. Wong and J. Gibbons, Verifying Business Process Compatibility. In Proceedings of 8th International Conference on Quality Software, IEEE Computer Society, Oxford, UK. Aug 2008. DOI (10.1109/QSIC.2008.6)

  17. P.Y.H. Wong and J. Gibbons, A Relative Timed Semantics for BPMN. In Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA08), ENTCS, Reykjavik, Iceland. Jul 2008. Accepted for special issue in Science of Computer Programming. DOI(10.1016/j.entcs.2009.06.029). (Extended version)

  18. P.Y.H. Wong and J. Gibbons, On Specifying and Visualising Long-Running Empirical Studies. In Proceedings of International Conference on Model Transformations, volume 5063 of LNCS, Zurich, Switzerland. Jul 2008. DOI (10.1007/978-3-540-69927-9_6). (Extended version)

  19. P.Y.H. Wong and J. Gibbons, A Process-Algebraic Approach to Workflow Specification and Refinement. In Proceedings of 6th International Symposium on Software Composition, volume 4829 of LNCS, Braga, Portugal. Mar 2007. DOI (10.1007/978-3-540-77351-1_5).

  20. A.T.S. Chan, P.Y.H. Wong and S.N. Chuang, CRL: A Context-aware Request Language for Mobile Computing. In Proceedings of 2nd International Symposium on Parallel and Distributed Processing and Applications, volume 3358 of LNCS, Hong Kong, China. Dec 2004. DOI (10.1007/978-3-540-30566-8_63).

Workshops Presentations

  1. P.Y.H. Wong, N. Diakov and I. Schaefer, Modelling Software Product Lines using HATS Approach – A Fredhopper Case Study. 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Munich, Germany. Aug 2011.

  2. P.Y.H. Wong and J. Gibbons, Property Specifications for Workflow Modelling. 25th Annual British Colloquium on Theoretical Computer Science, University of Warwick, UK. Apr 2009.

  3. P.Y.H. Wong and J. Gibbons, A Relative Timed Semantics for BPMN. 3rd European Young Researchers Workshop on Service Oriented Computing, Imperial College, UK. Jun 2008.

  4. P.Y.H. Wong and J. Gibbons, A Relative Timed Semantics for BPMN. 24th Annual British Colloquium on Theoretical Computer Science, Durham University, UK. Apr 2008.

  5. P.Y.H. Wong and J. Gibbons, Verifying Business Process Compatibility. 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, Paphos, Cyprus. Jun 2007.

  6. P.Y.H. Wong and J. Gibbons, Verifying Business Process Compatibility. 2nd European Young Researchers Workshop on Service Oriented Computing, University of Leicester, UK. Jun 2007.

  7. P.Y.H. Wong, Towards a Unified Model for Workflow Processes. 1st Service-Oriented Software Research Network Workshop, University of Manchester, UK. Jun 2006.

Technical Reports/Theses

Invited Talk

Academic Duties

Dr. Wong has served on the programme/organisation committees for the following conferences and workshops:

Dr. Wong has served on the Opposition committees for the following Doctorates:

Dr. Wong has been a reviewer for the following journals:

Dr. Wong has been an external reviewer for the following conferences and journals: