ESEC/FSE 2022 (series) / Julian Parsert
![Julian Parsert](https://2022.esec-fse.org/getProfileImage/julianparsert/297dba3c-de86-4d5b-9870-239048325f2a/small.jpg?1712728335000)
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
2022
ESEC/FSE
ESEC/FSE 2022-profile
View general profile
View general profile