Skip to main content

Zhen Zhang

Profile Picture

Electrical and Computer Engineering

Associate Professor

Assistant Professor

Contact Information

Go toOffice Location: EL 176
DialPhone: 435-797-9068
SendEmail: Zhen.Zhang@usu.edu


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.

Awards

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

  • Zhang, Z., A computational model of the effect of VEGF production in wet age-related macular degeneration on neovascularization. *

Publications - Books & Book Chapters

* Has not been peer reviewed

Publications - Fact Sheets

    * Has not been peer reviewed

    Publications - Curriculum

      * Has not been peer reviewed

      Publications - Journal Articles

      * Has not been peer reviewed

      Publications - Literary Journal

        * Has not been peer reviewed

        Publications - MultiMedia

          * Has not been peer reviewed

          Publications - Technical Reports

            * Has not been peer reviewed

            Publications - Translations & Transcripts

              Publications - Other

                Other

              • Zhang, Z., (2011). A Fault-Tolerant Routing Algorithm for a Network-on-Chip Using a Link Fault Model.

              * Has not been peer reviewed

              Scheduled Teaching

              ECE 2700 - Digital Circuits, Fall 2019

              ECE 2700 - Digital Circuits, Fall 2019

              ECE 2700 - Digital Circuits, Fall 2019

              ECE 2700 - Digital Circuits, Fall 2019

              ECE 2700 - Digital Circuits, Fall 2019

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

              ECE 2700 - Digital Circuits, Spring 2019

              ECE 2700 - Digital Circuits, Spring 2019

              ECE 2700 - Digital Circuits, Spring 2019

              ECE 2700 - Digital Circuits, Spring 2019

              ECE 2700 - Digital Circuits, Spring 2019

              ECE 2700 - Digital Circuits, Spring 2019

              ECE 2700 - Digital Circuits, Spring 2019

              ECE 2700 - Digital Circuits, Spring 2019

              ECE 2700 - Digital Circuits, Spring 2019

              ECE 2700 - Digital Circuits, Fall 2018

              ECE 2700 - Digital Circuits, Fall 2018

              ECE 2700 - Digital Circuits, Fall 2018

              ECE 2700 - Digital Circuits, Fall 2018

              ECE 2700 - Digital Circuits, Fall 2018

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

              ECE 2700 - Digital Circuits, Spring 2018

              ECE 2700 - Digital Circuits, Spring 2018

              ECE 2700 - Digital Circuits, Spring 2018

              ECE 2700 - Digital Circuits, Spring 2018

              ECE 2700 - Digital Circuits, Spring 2018

              ECE 2700 - Digital Circuits, Spring 2018

              ECE 2700 - Digital Circuits, Spring 2018

              ECE 2700 - Digital Circuits, Spring 2018

              ECE 2700 - Digital Circuits, Spring 2018

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


              Graduate Students Mentored

              Joshua James Smith, Electrical & Computer Engineering, May 2019
              Joshua James Smith, Electrical & Computer Engineering, May 2018
              Thakur Neupane, Electrical & Computer Engineering, November 2017 - August 2019