Sergey Mechtaev / 谢辽夏
Address
 TBA
Office
 TBA
Phone +44 7935 602 279
Email mechtaev@gmail.com
GitHub github.com/mechtaev
Twitter x.com/sergey_mechtaev

I am an incoming Assistant Professor at Peking University. Previously, I was a faculty member at University College London. 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

02/07/24 A paper on LLM-based code generation has been accepted to ISSTA'24.
01/07/24 I resigned from UCL and received an honorary lecturer title.
26/06/24 I have been promoted to Associate Professor at UCL.
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