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. I have previously studied at the University of Innsbruck where I was affiliated with the group for Computational Logic working with Cezary Kaliszyk.
I have also worked at the University of Edinburgh where I was affiliated with LFCS and ICSA working with Elizabeth Polgreen and Michael O'Boyle. 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.