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.




Office: 7.08 MPEB
Tel: +44 (0)20 7679 0143 (Direct Dial)
Internal: 30156
Fax: +44 (0)20 7387 1397
Email: z.gao.12 @at@ ucl.ac.uk