Sergey Mechtaev / 谢辽夏

Lecturer (Assistant Professor), UCL Department of Computer Science


Department of Computer Science, University College London,
Gower Street, London WC1E 6BT, United Kingdom
EFB 3.06
Office hours Thursdays 5pm-6pm (please email ahead)
Phone +44 7935 602 279

I am a Lecturer (Assistant Professor) in the Department of Computer Science at University College London, where I am a member of Software Systems Engineering group and CREST centre. Previously, I received a PhD degree from the National University of Singapore, and a Specialist Diploma from Saint Petersburg State University. My research interests include software engineering, programming languages and formal methods. The current focus of my research is on automated program repair (please see research and publications for more information).

Recent updates

27/09/19 I have attended Shonan Meeting 160 on Fuzzing and Symbolic Execution
01/09/19 A paper on program repair for education has been accepted to ASE'19
22/07/19 I have given a talk on semantic program repair at SUSTech
26/06/19 I have received National University of Singapore IMDA Excellence Prize
08/05/19 I am giving a talk on semantic program repair at Imperial College London on May 16
A paper on test generation for program repair has been accepted to ISSTA'19
30/03/19 I am giving a talk on symbolic execution at JetBrains Research on April 1
20/03/19 I have received ACM SIGSOFT Outstanding Doctoral Dissertation Award
I have joined Department of Computer Science at University College London as a Lecturer
I have attended Marktoberdorf Summer School 2018
A paper on test-equivalence for program repair has been accepted to TOSEM
I have defended my PhD thesis "Semantic program repair"
A paper introducing second-order symbolic execution has been accepted to FSE'18
I have attended Dagstuhl Seminar 18151 on Program Equivalence
A paper on program repair using a reference implementation has been accepted to ICSE'18
A correlation study between program repair and test-suite metrics has been accepted to EMSE
A technical report on applying test-equivalence to scale program repair is available in arXiv
A new version of our program repair tool Angelix 1.1 has been released
A poster on the program repair benchmark Codeflaws has been accepted to ICSE'17