Dominic Orchard - University of Cambridge

Dr Dominic Orchard ~ Research Associate, SSI Fellow

Digital Technology Group and Cambridge Programming Research Group
Computer Laboratory, University of Cambridge

Research interests:

  • Programming language design and semantics
  • Mathematically structured programming
  • Effect and coeffect systems
  • Embedded domain-specific languages (esp. for parallelisation)
  • Applying programming language research to computational science


SN15, William Gates' Building, 15 JJ Thomson Avenue


dominic.orchard AT



  • Big news: As of September 2016, I am joining the School of Computing at the University of Kent as a lecturer.

  • June 2016
  • March 2016
  • January 2016
    • I returned to working at the Computer Laboratory, University of Cambridge as Researcher Co-investigator on the CamFort project.
  • December 2015
  • November 2015
  • October 2015
    • Nobuko Yoshida and I have had our paper Effects as sessions, sessions as effects accepted at POPL 2016 [preprint PDF].
  • July 2015
    • I attended ICW'2015 (Imperial Concurreny Workshop).
    • I attended ECOOP'2015, to chair PLE 2015.
  • May 2015
    • I am attending ICCS'2015 in Reykjavik, Iceland
    • I gave the departmental seminar at the Department of Computer Science at the University of Warwick [slides]
  • April 2015
  • Mach 2015
    • I will be attending the 2015 Software Sustainbility Institutes Collaborations Workshop in Oxford.
    • My paper Evolving Fortran types with inferred units-of-measure with Andrew Rice has been accepted at ICCS 2015 and also selected for a special issue of the Journal of Computational Science (JoCS). The pre-print is online here.
  • [Older news items]