I am a PhD Candidate at the CREST Centre in the Department of Computer Science at University College London. 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.

Publications

Projects

Contact

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