![](https://s3.wp.wsu.edu/uploads/sites/908/2019/11/Bolong-Zeng.jpg)
- Associate Professor (Career Track)
- Program Coordinator
Biography
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