Bolong Zeng
Program Coordinator for Software Engineering & Clinical Assistant Professor
WSU Everett, 427
425-405-1737
bzeng@wsu.edu
Education
- Ph.D. in Computer Science, School of Electrical Engineering and Computer Science, Washington State University, 2009-2015
- B.S. in Computer Software, School of Software, Tsinghua University, 2005-2009
Professional Experience
- School of Electrical Engineering and Computer Science, Washington State University, 2015-present
Research and Teaching Interests
- Model Checking, Formal-verification-assisted Testing
- Software Engineering, Requirements Engineering and Education
- Computer Science/Software Engineering in Interdisciplinary Applications
Publications