Paul completed a BSc in mathematics at the University of Tasmania, before moving to the UK to do a PhD in Theoretical Computer Science at the University of Cambridge. In 2008 he was awarded an EPSRC Postdoctoral Fellowship, which took him to the University of Oxford for five years. Following this, Paul worked as a postdoc at the Université Libre de Bruxelles for three years, before returning to Australia in 2016.  His area of expertise is (unsurprisingly) Theoretical CS, in particular formal verification, graph theory, and algorithms.