Zhen Zhang

Electrical and Computer Engineering Department, University of Utah
50 S. Central Campus Dr.,
Salt Lake City, UT 84112-9208

Email: zhen.zhang AT utah DOT edu

Research Interests

My primary interest is in the modeling and verification of concurrent and stochastic systems, ranging from asynchronous systems and distributed protocols to embedded software and biological systems. I am interested in developing theories and algorithms to advance techniques in the area of formal and semi-formal methods, and their applications in system diagnosis and embedded controller and parameter synthesis.

LNT Models

I developed many formal models for a link-fault tolerant routing protocol for a two-by-two Network-on-Chip mesh. The formalism used is the process-algebraic language LNT.  Here are some representative ones during the evolution of the development of this link-fault routing algorithm.

Journal Publications:

Conference and Workshop Papers: