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.
Design Verification and Validation
Hosted in Virtual Platform