Zheng Gao

Department of Computer Science
University College London
Gower Street, London, WC1E 6BT
United Kingdom

I am a PhD Candidate at the Centre for Research on Evolution, Search and Testing (CREST) in the Department of Computer Science at University College London (UCL). I am supervised by Dr. Earl Barr and Prof. Mark Harman. Please check my curriculum vitae for more information.

My research topic is numerical program analysis and testing. The research depends on numerical analysis and lies in the intersection of software engineering and programming languages.