|
|
Nannan He
Graduate Student |
Nannan He is a Ph.D. student in the Bradley Department of Electrical and Computer Engineering at Virginia Tech.
She expects to complete her Ph.D. degree in Computer Engineering in May 2008. Her research focuses on hardware/software verification and model checking. Her advisor is Dr. Michael S.Hsiao.
Nannan received her M.S. in Computer Science from University of Essex, England in 2003 with Distinction, and her first and second B.S in Electrical Engineering and Software engineering separately from Zhengzhou University and Tsinghua University, China, in 2000 and 2002.
In her spare time, Nannan enjoys reading, jogging and travelling