He completed his MLitt and PhD at the University of St Andrews. He was a Postdoctoral Research Fellow in the Arché Research Center, working in the AHRC-funded project 'Foundations of Logical Consequence'. In January 2011 he joined the MCMP (LMU Munich) as Research Fellow, before taking up position as Assistant Professor from October 2012 to August 2014.