I am a M.Sc. Student at the University of Toronto where I am supervised by Faith Ellen. Before this I did my B.Sc at York University, where I gained a deep interest in the theory of computer science from Eric Ruppert and George Tourlakis.