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.