Peter Y. H. Wong

Medium: medium.com/@peteryhwong | Dev Community: dev.to/peterwong | Github: github.com/peteryhwong  | Linkedin: https://www.linkedin.com/in/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

• • DPhil (PhD) in Computer Science, University of Oxford

  • MSc in Computer Science, University of Warwick

  • BSc (Hons) in Computer Science, University of Warwick

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

• 1. M. Bravetti, E. Giachino, M. Lienhardt and P.Y.H. Wong, Dynamic Rebinding for Concurrent Object Groups: Theory and practice. volume 86, number 1 of Journal of Logical and Algebraic Methods in Programming, Jan 2017. DOI (10.1016/j.jlamp.2016.03.002)

  2. P.Y.H. Wong, R. Bubel, F.S. de Boer, M. Gómez-Zamalloa, S. de Gouw, R. Hähnle, K. Meinke and M. Azam Sindhu, Testing Abstract Behavioural Specifications. volume 17, number 1 of International Journal on Software Tools for Technology Transfer, Feb 2015. DOI (10.1007/s10009-014-0301-x).

  3. E. Albert, F.S. de Boer, R. Hähnle, E.B. Johnsen, R. Schlatte, S.L.T. Tarifa  and P.Y.H. Wong, Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Special issue of European Conference on Service-Oriented and Cloud Computing, Service Oriented Computing and Applications, Dec 2013. DOI (10.1007/s11761-013-0148-0).

  4. F.S. de Boer, E.B. Johnsen, S. de Gouw, A. Kohn and P.Y.H. Wong, Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. Special issue on Runtime Verification and Analysis, Transactions on Aspect-Oriented Software Development (TAOSD), volume 8400, of LNCS, 2014. DOI (10.1007/978-3-642-55099-7_1).

  5. P.Y.H. Wong, E. Albert, R. Muschevici, J. Proenca, J.Schäfer and R. Schlatte, The ABS Tool Suite: Modelling, Executing and Analysing Distributed Adaptable Object-Oriented Systems. Special section on Diversity - Modeling, Analysis and Evolution, volume 14, number 5 of International Journal on Software Tools for Technology Transfer, Jul 2012. DOI (10.1007/s10009-012-0250-1).

  6. P.Y.H. Wong and J. Gibbons, Formalisations and Applications of BPMN.  Special issue of FOCLASA08, volume 76, issue 8 of Science of Computer Programming, Aug 2011. DOI (10.1016/j.scico.2009.09.010).

  7. P.Y.H. Wong and J. Gibbons, Property Specifications for Workflow Modelling. Special issue of IFM2009, volume 76, issue 10 of Science of Computer Programming, Oct 2011. DOI (10.1016/j.scico.2010.09.007).

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

• 1. Formalisations and Applications of Business Process Modelling Notation. DPhil Thesis, Department of Computer Science, University of Oxford, 2011 (ORA, MSR).

  2. An Investigation in Energy Consumption Analyses and Application-Level Prediction Techniques. Master's Thesis, Department of Computer Science, University of Warwick, 2006 (Library, Wrap).

  3. Bytecode Monitoring of Java Programs. BSc project report, Department of Computer Science, University of Warwick, 2003.

Invited Talk

• 1. Delivering international payments securely at scale, AWS Summit, London, Jun 2017

  2. Formal Methods @ SDL Fredhopper. Universiteit Twente, Enschede, The Netherlands, Oct 2013

  3. Delta Modeling Workflow. Amsterdam Coordination Group, CWI, Amsterdam, The Netherlands, Jan 2012

  4. Modelling Distributed Adaptable Object Oriented Systems using HATS Approach: A Fredhopper Case Study. 2nd International Conference on Formal Verification of Object-Oriented Software, Torino, Italy, Oct 2011

  5. Property Specifications for Workflow Modelling. GRACE Seminar, National Institute of Informatics, Tokyo, Japan, Oct 2008

Academic Duties

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

• 2009

  • • PC-member of 1st International Workshop on Business Process Modelling Notation 

    • PC-member of 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing

• 2010

  • • PC-member of 2nd International Workshop on Business Process Modelling Notation

• 2011

  • • PC-member of 26th Annual ACM Symposium on Applied Computing Track on Service Oriented Architectures and Programming

    • PC-member of 3rd International Workshop on Business Process Modelling Notation

    • Organising Committee of 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering

• 2012

  • • PC-member of 27th Annual ACM Symposium on Applied Computing Track on Service Oriented Architectures and Programming

    • PC-member of 4th International Workshop on Business Process Modelling Notation

    • PC-member of 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing

    • Organising Committee of 3rd International Workshop on Formal Methods and Analysis in Software Product Line Engineering

• 2013

  • • PC-member of 28th Annual ACM Symposium on Applied Computing Track on Service Oriented Architectures and Programming

    • PC-member of 2nd International Workshop on Behavioural Types

    • PC-member of 11th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing

• 2014

  • • PC-member of 11th International Conference on Integrated Formal Methods

    • PC-member of 3rd International Workshop on Behavioural Types

• 2016

  • • PC-member of 31st Annual ACM Symposium On Applied Computing Track on Service-Oriented Architectures and Programming

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

• • Stijn de Gouw, Combining Monitoring withRun-time Assertion Checking. Leiden Institute of Advanced Computer Science, Leiden University, 2013

  • Behrooz Nobakht, Actors at Work. Leiden Institute of Advanced Computer Science, Leiden University, 2016

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

• Software and Systems Modeling

• ACM Transactions on Software Engineering and Methodology

• Science of Computer Programming

• Fundamenta Informaticae

• RAIRO - Theoretical Informatics and Applications

• Information and Software Technology

• Simulation Modelling Practice and Theory

• Information Processing Letters

• Formal Aspects of Computing

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

• 20th International Conference on Fundamental Approaches to Software Engineering

• 21st International Symposium on Formal Methods

• 12th International Conference on integrated Formal Methods

• 10th International Conference on integrated Formal Methods

• 12th ACM SIGPLAN International Conference on Functional Programming

• ACM SIGPLAN 2009 Haskell Symposium

• IEEE Transactions on Software Engineering

• 8th International Symposium on Formal Methods for Components and Objects

• 2nd International Symposium on Foundations of Health Information Engineering and Systems