I am interested in the application of structural and logical methods from mathematics and theoretical computer science to physics. Much of my work focusses on behaviours which are available to quantum systems but provably unachievable with classical systems such as nonlocality, contextuality and ψ-ontology. I am particularly concerned with developing general approaches to treating these phenomena and understanding how to systematically exploit them to obtain advantages over classical systems in information theoretic tasks, computational power, security or otherwise. Personal page here.