Skip to main content

Zhen Zhang

Profile Picture

Electrical and Computer Engineering

Assistant Professor

Contact Information

Go toOffice Location: EL 176
DialPhone: 435-797-9068

Educational Background

PhD, Computer Engineering, University of Utah, 2016
Verification Methodologies for Fault-tolerant Network-on-Chip Systems
MS, Computer Science, The University of Manchester, 2010
Performance Analysis of Synchronization Circuits
BA, Electronic and Electrical Engineering, Dublin Institute of Technology, 2007
Development of an Analogue Gaussian White-Noise

Teaching Interests

I am interested in contributing to a high standard of teaching at both the undergraduate and graduate levels. Courses I have sufficient background to teach include principles of cyber-physical systems, formal methods, stochastic verification, concurrency theory, digital logic design, embedded system design, FPGA design, random process, asynchronous circuit design and synthesis, and modeling and analysis of synthetic biological systems.

Research Interests

My primary interest is in the modeling and verification of concurrent and stochastic systems, ranging from distributed protocols and asynchronous circuits to cyber-physical and synthetic biological systems. I am interested in developing theories and algorithms to advance formal and semi-formal verification techniques in both conventional and stochastic settings, and their applications in controller synthesis, probabilistic hardware and software, and adversarial perturbation detection for image classification conducted by deep neural networks.


Best Student Paper Award, 2012

IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology

Overseas Tuition Fee Bursary, 2007

The University of Manchester

Academic Excellence Award, 2005

Dublin Institute of Technology

Academic Excellence Award, 2004

Dublin Institute of Technology

Publications - Abstracts

    Publications - Books & Book Chapters

      Book Chapters

    • Neupane, T., Zhang, Z., Madsen, C., Zheng, H., Myers, C.J, Pietro Li\`o, , Zuliani, P., Approximation Techniques for Stochastic Analysis of Biological Systems: Automated Reasoning for Systems Biology and Medicine. Springer

    * Has not been peer reviewed

    Publications - Fact Sheets

      * Has not been peer reviewed

      Publications - Curriculum

        * Has not been peer reviewed

        Publications - Journal Articles

          Academic Journal

        * Has not been peer reviewed

        Publications - Literary Journal

          * Has not been peer reviewed

          Publications - MultiMedia

            * Has not been peer reviewed

            Publications - Technical Reports

              AES Reports

            * Has not been peer reviewed

            Publications - Translations & Transcripts

              Publications - Other


              * Has not been peer reviewed

              Scheduled Teaching

              ECE 2700 - Digital Circuits, Spring 2018

              ECE 5930, 6930 - Special Topics in Electrical and Computer Engineering, Fall 2017

              Graduate Students Mentored

              Nazmus Sakib, Electrical & Computer Engineering, November 2017
              Thakur Neupane, Electrical & Computer Engineering, November 2017