Chen-Wei Wang, York University

Research

Read how they describe their research on their York University profile.

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

No publications available.

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Subject: Prospective PhD student: Automated Model-Based Verification of Object-Oriented Software Dear Professor Wang, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. Your research on automated model-based verification of object-oriented software connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]