MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Dominic Orchard
Alumni
Publications

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 Cambridge

Publications

2016
2015

Professional Activities

PC Members and Chairs