Zhen Zhang

Zhen Zhang

Electrical and Computer Engineering

College of Engineering

Utah State University

Find me at:

Reach me at:

Email: zhen.zhang AT usu DOT edu

Phone: 435-797-9068

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: