Registered user since Fri 3 Nov 2017
Name:Leo Stefanesco
Country:United Kingdom
Affiliation:University of Cambridge
Personal website: https://stefanesco.com
GitHub: https://github.com/ineol
Research interests:Software verification, program logics
Contributions
Using general profile