Bolong Zeng

  1. Associate Professor (Career Track)
  2. Program Coordinator
Email Addressbzeng@wsu.edu
LocationWSU Hall Room 427 – Everett

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

Publications