Jackie Wang

Assistant Lecturer

Scholarly Interests
  • Automated Model-Based Verification of Object-Oriented Software
  • Model-Driven Engineering of Critical Information Systems
  • Precise Documentation and Formal Validation of Software Requirements
  • Using Model Checking to Verify Real-Time Systems
  • Using Theorem Proving to Verify Function Block Based Systems
  • Product-Based Software Certification
Bio

Jackie completed in 2006 his BA in Computer Science with Honours at York University, Canada. He then pursued a DPhil (Doctor of Philosophy) in Computer Science, with a specialization in Software Engineering, at the University of Oxford, United Kingdom. Jackie’s doctoral thesis is on the “Model-Driven Development of Information Systems”.

After completing his doctorate in 2012, Jackie worked as post-doctoral research fellow at both McMaster Centre for Software Certification and York University Software Engineering Laboratory.  During his post-doctorate, Jackie’s research was on the ORF-funded project “Certification of Safety-Critical Software-Intensive Systems”, collaborating with Ontario Power Generations (OPG) and Systemware
Innovation (SWI). Between September 2014 and August 2015, Jackie also worked as a part-time software engineering technologist in the department of EECS at Lassonde.

Between September 2015 and June 2017, Jackie joined the State University of New York (SUNY) Korea as a Research Assistant Professor,teaching undergraduate and graduate courses. Starting from July 2017, Jackie joined the department of EECS as an Assistant Lecturer, teaching courses and coordinating labs.

Selected Publications
  • Linna Pang, Chen-Wei Wang, Mark Lawford, and Alan Wassyng. Formal Verification of Function Blocks Applied to IEC 61131-3. In Science of Computer Programming (SCP), Volume 113, December 2015, pp. 149 — 190.
  • Jim Davies, David Milward, Chen-Wei Wang, and James Welch. Formal  Model-Driven Engineering of Critical Information Systems. In Science of Computer Programming (SCP), Volume 103, June 2015, pp. 88 — 113.
  • Chen-Wei Wang, Jonathan Ostroff, and Simon Hudon. Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems. In Engineering Safety and Security Systems (ESSS) (affiliated with Formal Methods). Electronic Proceedings of Theoretical Computer Science (EPTCS), Volume 184, pp. 81 — 95, 2015.
  • Chen-Wei Wang, Jonathan Ostroff, and Simon Hudon. Precise  Documentation and Validation of Requirements. In International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS).  Springer’s Communications in Computer and Information Science (CCIS), Volume 419, pp. 262 — 279, 2014.
  • Jonathan Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, and Jun Sun. TTM/PAT: Specifying and Verifying Timed Transition Models. In International Workshop on Formal Techniques for Safety-Critical
    Systems (FTSCS). Springer’s Communications in Computer and Information Science (CCIS), Volume 419, pp. 107 — 124, 2014.
Staff Information
Campus Address
Lassonde Engg. Bldg, Rm 2043 York University Keele Campus
Stay in Touch