I am a Ph.D. student at Toyota Technological Institute at Chicago. I am interested in the design and implementation of languages and compilers for self-adjusting computation, and its applications in algorithm design. My adviser is Umut Acar.


I received my master's degree from Portland State University in Aug 2008, and bachelor's degree from Fuzhou University in Jun 2006. At PSU, I worked on symbolic model checking.

Please look at my CV for more information.