Close

Presenter

Biography
Qingye Zhao received the B.S. degree in computer science from the Department of Computer Science and Technology, Nanjing University, Nanjing, China, where he is currently pursuing the Ph.D. degree. His research interests include formal verification, robustness of real-time and embedded systems, program analysis, and deep learning.
Presentations
Research Manuscript
EDA
Design Verification and Validation
Hosted in Virtual Platform