Hao-Nan Zhu is a Ph.D. student advised by Professor Cindy Rubio-González. His research interests lie at the intersection of program analysis and software reliability.