Registered user since Sun 26 Aug 2018
I joined the faculty of the Department of Computer Science at UC Davis in January 2003. From September 2002 to December 2002, I was a Visiting Fellow of the Research Institute for Advanced Computer Science (RIACS) working with the Automated Software Engineering Group at the NASA Ames Research Center. I completed my Ph.D. (enjoy!) in Computer Science at UC Berkeley in December 2002 (with a minor in Mathematics), and I received a B.S. in Computer Science and a B.A. in Mathematics from UT Austin in 1995. Before entering UT Austin, I spent a couple of enjoyable years at Fudan University in Shanghai, China, studying International Trade in its Department of World Economics. I also had a brief, but memorable stay in the College of Business at the University of Wisconsin, Eau Claire. My wife Yiqing and I were from Shanghai. We have two wonderful kids: Amanda and Timothy.
|SPLASH 2015|| Automated Backward Error Analysis for Numerical Code|
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
Committee Member in External Review Committee within the OOPSLA-track
|Show activities from other conferences|
View general profile