Bio
Jackie graduated summa cum laude and received his Bachelor of Arts in Computer Science with Honours at York University, Canada in 2006. Bypassing a master's degree, Jackie was admitted to pursue a DPhil (Doctor of Philosophy) in Computer Science, with a specialization in Software Engineering, at the University of Oxford, United Kingdom. During the afternoon of Tuesday, December 13, 2011, Jackie defended his doctoral thesis on the "Model-Driven Development of Information
Systems" (and the dissertation is archived here: http://ora.ox.ac.uk/objects/uuid:9d70647c-e1b6-4cbb-b88c-707f09431db6).
After completing his doctorate, Jackie worked as a post-doctoral research fellow at both McMaster Centre for Software Certification and York University Software Engineering Laboratory. During his post-doctorate, Jackie's research focused 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 EECS department at Lassonde.
Between September 2015 and June 2017, Jackie worked as a Research Assistant Professor, teaching undergraduate and graduate courses, in the Department of Computer Science at the State University of New York (SUNY) Korea. Jackie has always felt wholeheartedly grateful to his students in SUNY Korea, for teaching him how to be a teacher who explains well and cares.
Jackie joined the EECS department at Lassonde in July 2017 as an Assistant Lecturer, teaching foundational undergraduate courses at all levels (e.g., introductory and advanced object-oriented programming, data structures, software design, system specification and refinement, mission-critical systems, compilers and interpreters) and coordinating experiential labs. Since March 2020, Jackie has become an Eng. L. (Engineering Licensee), certified by APEGS (https://www.apegs.ca/) to practice teaching and research in the disciplines of computer and software engineering. In July 2022, Jackie received his tenure and was promoted to an Associate Professor, Teaching Stream.
Jackie has an enormous passion in teaching, and he has continually reflected himself on crafting a learning environment, with the most quality possible, for his students. Over the years, anecdotes, student forums, as well as formal course evaluations all seem to consistently summarize how Jackie's students perceive his teaching: "While his tests are so strict and hard, Professor Jackie is caring, conducts lectures eloquently, and holds a high standard to his students." Jackie considers this reputation as the best possible motivation to drive him forwards.
Besides his teaching endeavours, Jackie has been committed to regular training in tennis since April 2022 and has since then found another great passion in this challenging and competitive racquet sport. Jackie's tennis efforts has been inspired by his favorite and idol player Andrey Rublev (https://www.atptour.com/en/players/andrey-rublev/re44/overview).
Jackie had the great privilege to play as a violinist in the strings orchestra of the University College at Oxford in 2007 and 2008 (https://youtu.be/B4WYGmkLGp8). However, he failed to keep it afterwards. Fortunately, inspired by a brilliant student of his who managed to still enjoy playing piano pieces of Chopin despite the overwhelming amount of study, as of February 14, 2025, Jackie started to (slowly but steadily) resume lessons and practices.
Research 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
- Computing Education
- Pedagogical Innovation
Publications
- Chen-Wei Wang. Crafting Technology-Enhanced Educational Videos for Visual Learners. In 11th Computer Science Education Research Conference (CSERC), pp. 24 — 30. ACM, 2022. [ https://doi.org/10.1145/3569173.3569176 ]
- Chen-Wei Wang. Creating Tutorial Materials as Lecture Supplements by Integrating Drawing Tablet and Video Capturing/Sharing. In 8th Computer Science Education Research Conference (CSERC), pp. 1 — 8. ACM, 2019. [ https://doi.org/10.1145/3375258.3375259 ]
- Chen-Wei Wang. Integrating Drawing Tablet and Video Capturing/Sharing to Facilitate Student Learning. In ACM Global Computing Education (CompEd), pp. 150 — 156. ACM, 2019. [ https://doi.org/10.1145/3300115.3309530 ]
- Jonathan Ostroff and Chen-Wei Wang. Modelling and Testing of Requirements via Executable Abstract State Machines. In Model-Driven Requirements Engineering (MoDRE) (affiliated with Requirements Engineering), pp. 1 — 10. IEEE, 2018. [ https://doi.org/10.1109/MoDRE.2018.00007 ]
- 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. [ http://dx.doi.org/10.1016/j.scico.2015.10.005 ]
- 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. [ http://dx.doi.org/10.1016/j.scico.2014.11.004 ]
- 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. [ http://dx.doi.org/10.4204/EPTCS.184.6 ]
- Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, David Tremaine, Josh Newell, and Vera Chow. Formal Verification of Real-Time Function Blocks Using PVS. In Engineering Safety and Security Systems (ESSS) (affiliated with Formal Methods). Electronic Proceedings of Theoretical Computer Science (EPTCS), Volume 184, pp. 65 — 79, 2015. [ http://dx.doi.org/10.4204/EPTCS.184.5 ]
- 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. [ http://dx.doi.org/10.1007/978-3-319-05416-2_17 ]
- 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. [ http://dx.doi.org/10.1007/978-3-319-05416-2_8 ]
- Linna Pang, Chen-Wei Wang, Mark Lawford, and Alan Wassyng. Formalizing and Verifying Function Blocks using Tabular Expressions and PVS. In International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS). Springer's Communications in Computer and Information Science (CCIS), Volume 419, pp. 125 — 141, 2014. [ http://dx.doi.org/10.1007/978-3-319-05416-2_9 ]
- Chen-Wei Wang and Jim Davies. Formal Model-Driven Engineering: Generating Data and Behavioural Components. In Formal Techniques for Safety-Critical Systems (FTSCS). Electronic Proceedings of Theoretical Computer Science (EPTCS), Volume 105, pp. 100 — 117, 2013. [ http://dx.doi.org/10.4204/EPTCS.105.8 ]
- Chen-Wei Wang. Calculating Preconditions for Parallel Workflows. In Asia-Pacific Software Engineering Conference (APSEC), pp. 499 — 504. IEEE, 2012. [ http://dx.doi.org/10.1109/APSEC.2012.124 ]
- Chen-Wei Wang. A Formal Approach for the Iterative Design of Behavioural Models. In Asia-Pacific Software Engineering Conference (APSEC), pp. 505 — 510. IEEE, 2012.
- Chen-Wei Wang. Model-Driven Development of Information Systems. PhD Thesis, University of Oxford. Oxford University Research Archive. [ http://ora.ox.ac.uk/objects/uuid:9d70647c-e1b6-4cbb-b88c-707f09431db6 ]
- Chen-Wei Wang, Alessandra Cavarra, and Jim Davies. Formal and Model-Based Testing of Concurrent Workflows. In Quality Software (QSIC), pp. 252 — 259. IEEE, 2011. [ http://dx.doi.org/10.1109/QSIC.2011.27 ]
- Chen-Wei Wang, Jim Davies, and James Welch. A guarded workflow language and its formal semantics. In Theoretical Aspects of Software Engineering (TASE), pp. 25 — 34. IEEE, 2010. [ http://dx.doi.org/10.1109/TASE.2010.21 ]
- Chen-Wei Wang and Alessandra Cavarra. Checking model consistency using data-flow testing. In Asia-Pacific Software Engineering Conference (APSEC), pp. 414 — 421. IEEE, 2009. [ http://dx.doi.org/10.1109/APSEC.2009.58 ]
- Jonathan Ostroff, Chen-Wei Wang, Eric Kerfoot, and Faraz A. Torshizi. Automated model-based verification of object-oriented code. In Verified Software: Theory, Tools, and Experiments (VSTTE), pp. 18 — 29, Microsoft Research Report MSR-TR-2006-117, 2006. [ http://research.microsoft.com/pubs/70331/tr-2006-117.pdf ]
- Jonathan Ostroff, Chen-Wei Wang, Eric Kerfoot, and Faraz A. Torshizi. ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code. In Research Tools, Formal Methods (FM), 2006. [ http://fm06.mcmaster.ca/es-verify.pdf ]
