|Department of Computer Science|
|1100 E. 58th Street||xiaoyq at cs.uchicago.edu|
|University of Chicago||Office: Ryerson 177|
|Chicago, IL 60637|
I am a sixth-year Ph.D. student in the Department of Computer Science at the University of Chicago. My advisor is John Reppy. I received my M.Sc. in computer science from Institute of Software, Chinese Academy of Sciences. And I received my B.Sc. from Beijing Normal University.
My research interests include various topics in design and implementation of programming languges, such as optimization and correctness reasoning. My current research focuses on the static analysis of communication for concurrent programs.