Man Lin

Man Lin

Professor
10A
Annex
(902) 867-5402

Degree: Ph.D. 

Research Interests: 
Formal methods for reactive and real-time systems