Julian Parsert (Preferred)
Julian Parsert
Postdoc, Rheinland-Pfälzische Technische Universität
- Joined May 2021
Names
Emails
****@gmail.com (Confirmed)
, ****@stcatz.ox.ac.uk (Confirmed)
, ****@ed.ac.uk (Confirmed)
, ****@rptu.de (Confirmed)
Personal Links
Career & Education History
Postdoc
Rheinland-Pfälzische Technische Universität (rptu.de)
2024 – Present
PhD student
University of Oxford (ox.ac.uk)
2019 – 2024
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