Hi! My name is Tim, and I am a D.Phil. candidate in Computer Science, University of Oxford supervised by Professor Niki Trigoni and Professor Andrew Markham.