Current position: Wencheng >> Home

Venture

Personal Information:

Lecturer graduate teacher

Research Focus

Artificial Intelligence Enabling Software Development and Verification
Formal methods
Software Analysis and Testing
可信软件的基础理论与方法
High Trust Software Engineering Technology