Wang KeMing
Associate Professor
|
- Master Tutor
- Gender:Male
- Education Level:PhD graduate
- Degree:Doctor of engineering
- Business Address:西南交通大学 系统可信性自动验证国家地方联合工程实验室 犀浦校区3号楼 3# Building, Xipu Campus Southwest Jiaotong University
- Professional Title:Associate Professor
- Status:在岗
- Alma Mater:Southwest Jiaotong University
- Supervisor of Master's Candidates
- School/Department:School of Computing and Artificial Intelligence, SWJTU.
- 保守你的心，胜过保守一切！ Guard your heart with all vigilance, for from it are the sources of life.
- Discipline:Software Engineering
Computer Software and Theory
Computer Application Technology
Electronic Information
Software Engineering
Computer Science and Technology
Contact Information
- PostalAddress：
- Email：
- Research Focus
Formal Verification of Safety-Critical System.
Formal Verification of Safety-Critical System.