Xiaohong Chen

Xiaohong Chen's main research interest includes formal methods and programming languages, in particular, formal specification and verification and program logics. Xiaohong believes that programming languages and programs should have formal specifications, and verification techniques should be made language-independent. He is currently a Ph.D. student at the University of Illinois at Urbana-Champaign. Before that he obtained a Bachelor's degree in Mathematics from Peking University, China.