James Brotherston

Research Student, Laboratory for Foundations of Computer Science

University of Edinburgh