Dominic Orchard was a post-doctoral researcher at Imperial College London and a fellow of Software Sustainability Institute. He is interested in the intersection between semantics, program analysis, and type theory. He gained his PhD from University of Cambridge where he studied context-dependent aspects of computation.
Dominic is now at University of Kent
Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)