Julian ParsertWork / CV
Bio
I completed my DPhil (PhD) 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 Innsbruck, and 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.
CV
I try to keep this document current, but feel free to contact me for a more detailed and up-to-date CV.