About me

Hui Guo


PhD Student

Department of Computer Science

University of California, Davis


I'm a second-year PhD student of computer science department at UC Davis and working on programming language under the advice of Professor Cindy Rubio Gonzalez. I got my master's degree in computer science from Institute of Computing Technology (ICT), University of Chinese Academy of Sciences and had a great time working with Professor Chenggang Wu and Zhenjiang Wang. Before that, I was an undergraduate student in Hebei University of Technology and got my B.S. degree in network engineering.

Currently, my research focuses on floating-point program analysis and synthesis. Generally, I am broadly interested in programming language, software reliability and testing.