David Quarel is a PhD student at the Australian National University (ANU), supervised by Marcus Hutter, focusing on AI safety, Universal Artificial Intelligence and Mechanistic Interpretability. He holds a BSc in physics and mathematics (2013-2017) and a MComp, specialising in AI and ML (2017-2019). Prior to starting his PhD, he spent two years teaching full-time at the ANU in mathematics, theoretical computer science, and digital hardware design.

He delivered guest lectures and has years of experience with developing and delivering course content, and co-authored a textbook. David has also taught at previous iterations of ARENA as well as CaMLAB, and worked as a research assistant with KASL, an AI safety lab based at Cambridge University.

David enjoys road cycling, rock climbing, teaching, rationalism, and is trying to get more into the habit of writing.