Prof Dominic Orchard

About

Dominic is a computer scientist with a broad range of interests and expertise. His research is mainly in the programming languages and verification with applications to supporting climate modelling. Much of his work crosses between theory and applications, often intersecting semantics, types, and logic, but also with tool implementations and novel language ideas. He is a co-director of the Institute of Computing for Climate Science which seeks to support the role of computer science, software engineering, machine learning, and data science in climate modelling. He also works part-time at the University of Kent as a researcher in the Programming Languages and Systems group. He is a fellow of the Software Sustainability Institute and a Bye-Fellow of Queens' College, Cambridge. He is known as