Current position: Home >>Research Focus
Tang Zhengyi

Personal Information

Associate professor  
Supervisor of Master's Candidates  

Research Focus

Formal method for system analysis and verification