Washington State University
The School of Electrical Engineering and Computer Science
Home
About Us
Prospective Students
Undergraduate Study
Graduate Study
Student Groups
Faculty
Research
News/Events
Alumni/ Community Relations
Corporate Relations
Staff
Student Job Resource
Contact us
Home
Formal methods in Security
Zhe Dang
Contact Information
(509) 335-7238
EME 135
Personal Homepage
Contact:
Send this person an email
Present Position:
Assistant Professor, School of Electrical Engineering and Computer Science
Research Areas:
Formal methods in Software Engineering
Formal methods in Security
Algorithms
Software Engineering