About me

Zhoulai_Fu_imdeaI am a postdoctoral researcher at University of California, Davis (US). I obtained my doctoral degree at INRIA in France in 2013. Earlier, I  studied mathematics and computer science at Ecole Polytechnique (X) in France (Polytechnicien program). Before entering X, I spent several enjoyable years at Tongji University in Shanghai.

My research background lies in the programming language theory, covering the abstract interpretation framework and static program analysis. Recently, I have expanded my study to automated testing and verification. My current focus is on a transformative research direction in between programming language theory and software engineering. Exciting results are to appear.


I am on the academic job market. Here is my CV.


2249 Kemper Hall
University of California, Davis
1 Shields Avenue
Davis, CA 95616

The preferred mode of contact is email.