Xiaohong Chen

Xiaohong is in the 5th year of his PhD program. At Illinois, he is developing trustworthy analysis tools that work for all programming languages with Professor Grigore Rosu.