I'm an academic at the University of Oxford. My interests are: Computer Science; HCI; Software Engineering; Discrete Mathematics; Statistics; Computational Linguistics; Natural Language Processing; Programing Languages; Formal Methods; Experimental Psychology; and Uncle Tom Cobbly and All.