Skip to main content

Zhen Zhang

Zhen Zhang

Assistant Professor

Contact Information

Office Location: ENLAB 176
Phone: 435-797-9068


His research interests include formal and stochastic modeling of cyber-physical systems, asynchronous circuits, and synthetic biological systems; theories and algorithms for formal and semi-formal verification techniques; and applying them in controller synthesis, probabilistic hardware and software, and deep neural networks. 


Zhen Zhang received the Masters of Philosophy in computer science in 2010 from the University of Manchester, Manchester, United Kingdom, and the PhD degree in electrical and computer engineering in 2016 from the University of Utah, Salt Lake City, UT. He was a visiting assistant professor at the Computer Science and Engineering Department at the University of South Florida in from 2016 to 2017, and joined the Electrical and Computer Engineering Department in 2017.