Runtime Vеrification
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.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.