Lingyi Liu (S'10) received the B.S. degree in computer science from the Huazhong University of Science and Technology, Hubei, China, in 2004, and the M.S. degree in computer architecture from the Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China, in 2007. He is currently pursuing the Ph.D. degree from the Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign, Urbana. His current research interests include hardware and software verification, system level design methodology.