- 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
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.
- 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.