Alexander V. Gheorghius hold an MMath in Mathematics from the University of Warwick and a PhD in Computer Science from University College London (UCL). He is a member of the London Mathematical Society and an associate member of the Institute of Mathematics and its Applications. He is currently Research Fellow in Logic or Applied Logic at UCL.