2010 - 2014, Imperial College London, MEng Computing (Artificial Intelligence)

2014 - 2017, University of Leeds, a PhD candidate in Computability Theory