My name is Julian Parsert.
I am a DPhil (PhD) student in computer science at the University of Oxford supervised by Daniel Kröning and Tom Melham. Most of my study-related interests lie in, or are connected to, theoretical computer science and verification.
I have previously studied at the University of Innsbruck where I was affiliated with the group for Computational Logic working with Cezary Kaliszyk. I also studied at the University of Helsinki as part of a student exchange program.

A most likely outdated Curriculum Vitae with limited details can be found here. Please contact me for a more detailed and up to date CV.