conf.researchr.org / Julian Parsert
Registered user since Thu 3 Nov 2022
Name:Julian Parsert
Country:United Kingdom
Affiliation:University of Oxford
Personal website: https://www.parsert.com/
GitHub: https://github.com/jparsert
Research interests:Verification, Machine Learning, Theorem Proving
Contributions