![Sergey Mechtaev](https://conf.researchr.org/getProfileImage/sergeymechtaev/75d750f7-1300-4bdd-9c7c-616057820150/small.jpg?1715939575000)
Registered user since Wed 20 Dec 2017
Name:Sergey Mechtaev
Country:United Kingdom
Affiliation:University College London
Personal website: http://mechtaev.com
Research interests:software engineering, programming languages, formal methods
Contributions
2024
ICSE
ICSE 2024-profile
View general profile
View general profile