Julian Parsert (Preferred)
Julian Parsert
PhD student, University of Oxford
- Joined May 2021
Names
Emails
****@gmail.com (Confirmed)
, ****@stcatz.ox.ac.uk (Confirmed)
, ****@ed.ac.uk (Confirmed)
Personal Links
Career & Education History
PhD student
University of Oxford (ox.ac.uk)
2019 – Present
Researcher
University of Edinburgh, University of Edinburgh (ed.ac.uk)
2022 – 2023
MS student
Universität Innsbruck (uibk.ac.at)
2017 – 2019
Undergrad student
Universität Innsbruck (uibk.ac.at)
2014 – 2017
Advisors, Relations & Conflicts
PhD Advisor
Thomas Melham
Present
Expertise
Formal Methods
Present
Termination Analysis
Present
Computer-Aided Verification
Present
Machine Learning for Formal Methods
Present