About Me

Hi! My name is Mingkai Miao (you could also call me Tracy), and I am a 1st year PhD student advised by Prof.Hongce Zhang in the Microelectronics Thrust at the Hong Kong University of Science and Technology (Guangzhou). Previously, I completed my Master’s degree in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign and my Bachelor’s degree in Electronic Information Engineering from the University of Electronic Science and Technology of China. My research insterests focus on formal verification for hardware. If interested, you could find my resume here.