Dual PhD in Mathematics and Philosophy. Professional mathematician, Member of Alan Turing Institute, Sr. Fellow, St Anselm's College, Cambridge, KLC.