![Sergey Mechtaev](https://2019.aseconf.org/getProfileImage/sergeymechtaev/e0ade13e-9c3d-41a8-ae0e-0471f45a6316/small.jpg?1715939575000)
Registered user since Wed 20 Dec 2017
Name:Sergey Mechtaev
Affiliation:University College London
Personal website: http://mechtaev.com
Research interests:software engineering, programming languages, formal methods
Contributions
ASE 2019-profile
View general profile
View general profile