Address |
Department of Computer Science, University College London, Gower Street, London WC1E 6BT, United Kingdom |
Office |
EFB 3.02 |
Phone | +44 7935 602 279 |
s.mechtaev@ucl.ac.uk |
I am a Lecturer (Assistant Professor) at UCL Computer Science, a member of Software Systems Engineering and CREST. 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.
Full CV
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. |
16/11/22 | A paper on SMT-based network verification has been accepted to FM'23. |
07/10/22 | I am co-organising automated program repair workshop at ICSE 2023. |
03/08/22 | I have given a talk about Modus at NUS. |
14/06/22 | A paper describing Modus has been accepted to FSE'22. |
16/03/22 | A paper on fairness repair has been accepted to FairWare'22. |
15/11/21 | I am co-organising automated program repair workshop at ICSE 2022. |