School of Computing

Dominic Orchard


Photo of DA Orchard, if available
  • Room SW06
    School of Computing
    University of Kent,
    CT2 7NF


My publications are available from the University of Kent's Academic Repository.

Selected publications

A more complete (but temporary) list of my publications can be found here.
I also keep a list of my external talks, mostly with links to slides and sometimes YouTube videos.

Research Interests

I belong to the following research groups:

I am also a Fellow of the Software Sustainability Institute.

Broadly I am interested in the intersection between logic, semantics, and types.

I have co-authored several papers introducing and developing the notion of coeffectful program behaviour (ICFP 2016, ICFP 2014, ICALP 2013). Coeffects are program behaviours which "consume" the execution context, e.g., variables, hardware resources, access policies, library versions, implicit parameters. Coeffect analyses and type theories capture a program's requirements on the execution environment. For example, a type theory corresponding to Bounded Linear Logic is a coeffect system which allows fine-grained control over variable usage.

I am also interested in applying results from programming language research to computational science, in particular for program verification. I am Co-Investigator on the project CamFort: Automated evolution and verification of computational science models joint with the University of Cambridge

Find me on: Twitter and GitHub


I am currently teaching:
  • CO583 - Introduction to Programming and Web Technologies
  • CO545 - Functional and Concurrent Programming
I also supervise projects for CO600, so please get in touch if you would like to discuss an idea. Details of my past teaching can be found here.



A list of things I have organsied.

Short bio

Dominic has an undergraduate degree in Computer Science from the University of Warwick and a PhD in Computer Science from the University of Cambridge. He worked as a Research Associate at Imperial College London and Cambridge before joining the University of Kent.

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 20/02/2017