Scholar
Sergey Mechtaev
Google Scholar ID: XTFR93cAAAAJ
Peking University
Citations & Impact
Citations
1,431
H-index
13
i10-index
14
Publications
20
Co-authors
16
list available
Publications
Resume (English only)
Academic Achievements
- Published multiple papers such as 'HoarePrompt: Structural Reasoning About Program Correctness in Natural Language' and others in top conferences like ICSE, ASE, etc.; Received ACM SIGSOFT Distinguished Paper Award.
Research Experience
- Current Assistant Professor at Peking University's School of Computer Science; Former faculty member at University College London; Involved in multiple research projects and served as a mentor.
Education
- PhD from National University of Singapore; Specialist Diploma from Saint Petersburg State University.
Background
- Assistant Professor at Peking University's School of Computer Science. Previously, a faculty member at University College London. Research interests include the combination of program analysis and machine learning.
Miscellany
- Personal interests and hobbies not mentioned.
