Zhen Zhang

Zhen Zhang is Associate Professor in Electrical and Computer Engineering at Utah State University. His research develops formal verification methods for concurrent, stochastic and cyber-physical systems, with applications ranging from network-on-chip architectures to biological systems.

Research concentrations include:

• Stochastic model checking techniques
• Formal analysis of chemical reaction networks
• Fault-tolerant network-on-chip design
• Probabilistic verification frameworks

Tool development includes STAMINA probabilistic model checker and RAGTIMER for chemical network analysis. Recent publications appear in IEEE Transactions, ACS Synthetic Biology, and computer science conferences including FMCAD and QEST.