Zhen Zhang
Associate Professor
Salt Lake City, Utah, United States
Summary
👤
Senior🎓
Top SchoolZhen Zhang is an Associate Professor and researcher with 16 years of experience bridging theoretical formalisms and real-world systems, specializing in modeling and verification of concurrent and stochastic systems across cyber-physical, asynchronous circuit, distributed protocol, and biological domains. He develops new methodologies and efficient algorithms for traditional and stochastic model checking, with proven skills in partial order reduction, compositional analysis, and CTMC extensions applied to practical case studies. His work blends deep theoretical corrections and proofs with hands-on tool and library development—from Java SBOL tooling and a Gillespie simulator to state-space optimization techniques—demonstrating an unusual balance of formal rigor and software craftsmanship. Based in Salt Lake City, he brings academic leadership from roles at Utah State University and prior postdoctoral and visiting positions, consistently translating abstract observations into deployable verification infrastructure.
16 years of coding experience
4 years of employment as a software developer
MPhil Computer Science, MPhil Computer Science at The University of Manchester35The University of UtahBEng Electrical and Electronic Engineering, BEng Electrical and Electronic Engineering at Technological University Dublin
English, Chinese, German
Github Skills (55)
biology10
synthetic-biology10
markov-chain10
synthetic10
genetic10
exchange10
sbml10
markup-language10
systems-biology10
modeling10
approximate9
java9
markup9
stochastic9
cad9
Programming languages (10)
Github contributions (5)
zgzn/prism
Feb 2018 - Mar 2018
Contributions:2 pushes in 28 days
model-checkersubversioncheckersubversion-serverprism
formal-verification-research/phenylpropanoids-model
May 2021 - Dec 2024
Model of phenylpropanoid derivatives used in Zixun Zhan's lab
Contributions:2 pushes in 3 years 7 months
derivativeslab
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.