Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
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

Contributions

ESEC/FSE 2022 Neural Termination Analysis
Show activities from other conferences

ESEC/FSE 2022-profile
View general profile