Chen-Wei Wang

Back to Faculty Directory

Chen-Wei Wang
Research Assistant Professor
SUNY Korea (Global University Campus)
Computer Science Department
Stony Brook University

Email
Personal Web Page

Degree: DPhil (Doctor of Philosophy) in Computer Science - University of Oxford, United Kingdom
Interests: - Certification of Safety-Critical Software Intensive Systems
- Formal Model-Driven Engineering of Critical Systems
- Formal Methods
- Software Engineering
Biography: I completed in 2006 my BA in Computer Science with Honours at York University, Canada. I then pursued a DPhil (Doctor of Philosophy) in Computer Science at the University of Oxford, United Kingdom. My doctoral thesis is on the ``Model-Driven Development of Information Systems''. After completing my doctorate in 2012, I worked as a post-doctoral research fellow at both McMaster Centre for Software Certification and York University Software Engineering Laboratory. During the post-doctorate, my research was on the "Certification of Safety-Critical Software-Intensive Systems". Starting from September 2015, I joined SUNY Korea as a Research Assistant Professor.
Research: My research is aimed at building dependable mission- and safety-critical systems via the use of formal methods. My past and current research projects include:
- 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
Awards: N/A
Teaching Summary: Fall 2015
- CSE114 Computer Science I
- CSE214 Computer Science II
- CSE547 Discrete Mathematics

Department of Computer Science • Songdo Moonwha-ro 119, Yeonsu-Gu, Incheon, Korea 406-840 • Tel:+82-32-626-1202 Fax:+82-32-626-1199
Stony Brook University Home Page