Zhen Zhang

Electrical and Computer Engineering

Assistant Professor


Zhen  Zhang

Contact Information

Office Location: EL 176
Phone: 435-797-9068
Email: Zhen.Zhang@usu.edu
Website: /ece/faculty-sites/zhen-zhang/index.php

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. Annual Meeting of the Association for Research in Vision and Ophthalmology (ARVO), 2020

An asterisk (*) at the end of a publication indicates that it has not been peer-reviewed.

An asterisk (*) at the end of a publication indicates that it has not been peer-reviewed.

Publications | Journal Articles

Academic Journal

An asterisk (*) at the end of a publication indicates that it has not been peer-reviewed.

Publications | Other

Other

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

An asterisk (*) at the end of a publication indicates that it has not been peer-reviewed.

Teaching

ECE 2700 - Digital Circuits, Spring 2020
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