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

      * Has not been peer reviewed

        * Has not been peer reviewed

          * Has not been peer reviewed

            * Has not been peer reviewed

              * Has not been peer reviewed

                * Has not been peer reviewed

                  * Has not been peer reviewed

                      * Has not been peer reviewed

                      Scheduled Teaching

                      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