ESEC/FSE 2022 (series) / 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
ESEC/FSE 2022 | Neural Termination Analysis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ESEC/FSE 2022-profile
View general profile
View general profile