Sergey Mechtaev / 谢辽夏
Address

Department of Computer Science, University College London, Gower Street, London WC1E 6BT, United Kingdom
Office
EFB 3.02
Phone +44 7935 602 279
Email s.mechtaev@ucl.ac.uk
GitHub github.com/mechtaev
Twitter x.com/sergey_mechtaev

I am a Lecturer (Assistant Professor) at UCL Computer Science, a member of Software Systems Engineering and CREST. I received a PhD from the National University of Singapore, and a Specialist Diploma from Saint Petersburg State University.

Full CV Research Overview Achievements
Publications

View All Google Scholar
Service

    • FSE 2025
      PC
    • ISSTA 2025
      PC
    • ICSE 2025
      PC
    • FSE SRC 2024
      PC
    • ASE 2024
      PC
    • APR 2024
      Co-chair

    View All
News

19/04/24 Our ICSE'24 SEIP paper received ACM SIGSOFT Distinguished Paper Award.
22/01/24 F1X won Functional Errors/C track of APR-COMP 2024.
20/12/23 A paper on deployment of program repair at Bloomberg has been accepted to ICSE SEIP'24.
22/11/23 I gave a talk about Symlog at the National University of Singapore.
17/11/23 I gave a talk about Symlog at Imperial College London.
16/09/23 I am co-organising APR workshop at ICSE'24.
07/08/23 A paper on enhancing program analysis with fuzzing is accepted to ASE'23.
27/07/23 A paper on using Datalog for program repair has been accepted to FSE'23.
22/02/23 Our ICSE'23 paper received ACM SIGSOFT Distinguished Paper Award.
22/12/22 I have given a talk about Modus at JetBrains.
21/12/22 A paper on reproducible research has been accepted to ICSE'23 NIER.
08/12/22 A paper on learning variables for patch synthesis has been accepted to ICSE'23.
21/11/22 I have given a talk about Modus at Microsoft.

View All
Group

  • David Williams (PhD)
    March 2024–Present
    Second supervisor. First supervisor: Federica Sarro
  • Liu Yu (PhD, NUS/CREST)
    September 2020–Present
    Co-advisor. Other advisors: Abhik Roychoudhury, Emmanuel Letier
  • Nikhil Parasaram (PhD)
    September 2019–Present
    First supervisor. Second supervisor: Earl T. Barr

View All
Talks

  • Symbolic Execution of Datalog and its Application to Static Analysis Guided Program Repair
    National University of Singapore, School of Computing CS Seminar
    22 November 2023
  • Symbolic Execution of Datalog and its Application to Static Analysis Guided Program Repair
    Imperial College London, Software Reliability Group Seminar
    17 November 2023

View All
Teaching

  • COMP0174 Practical Program Analysis
    January 2024–March 2024
    Lecturer
  • COMP0010 Software Engineering
    September 2023–December 2023
    Lecturer
  • COMP0174 Practical Program Analysis
    January 2023–March 2023
    Lecturer

View All