Sergey Mechtaev / 谢辽夏

Lecturer (Assistant Professor), UCL Department of Computer Science

Address

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

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
01/05/19
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
01/02/19
I have joined Department of Computer Science at University College London as a Lecturer
13/08/18
I have attended Marktoberdorf Summer School 2018
24/07/18
A paper on test-equivalence for program repair has been accepted to TOSEM
21/06/18
I have defended my PhD thesis "Semantic program repair"
11/06/18
A paper introducing second-order symbolic execution has been accepted to FSE'18
18/04/18
I have attended Dagstuhl Seminar 18151 on Program Equivalence
14/12/17
A paper on program repair using a reference implementation has been accepted to ICSE'18
12/09/17
A correlation study between program repair and test-suite metrics has been accepted to EMSE
12/07/17
A technical report on applying test-equivalence to scale program repair is available in arXiv
20/03/17
A new version of our program repair tool Angelix 1.1 has been released
14/02/17
A poster on the program repair benchmark Codeflaws has been accepted to ICSE'17