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/
Research interests:Verification, Machine Learning, Theorem Proving


ESEC/FSE 2022 Author of Neural Termination Analysis within the Research Papers-track
CPP 2018 Author of Formal Microeconomic Foundations and the First Welfare Theorem within the CPP 2018-track