About me

I am a first year Ph.D. student at Department of Computer Science, Texas A&M University. I work with Dr. Jeff Huang in Automated Software Engineering Research (ASER) group of Parasol Lab. My research interests are incremental analysis, pointer analysis, concurrent system, program testing and debugging about concurrency bugs. Before that, I got my master’s degree from Department of Mechanical and Aerospace Engineering at Cornell University, and my bachelor’s degree from Department of Mechanical Engineering at Beijing Institute of Technology.