- Co-director of the Institute of Computing for Climate Science
- Director of Research
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 one of the originators of the concept of coeffects in programming language semantics and analysis, the concept of graded modal types, and the inventor of the Granule programming language, and the lead of the CamFort project for static analysis of numerical Fortran code.
Links
- Research website (including links to publications)
- Publications list on DBLP
- Institute of Computing for Climate Science
- Programming Languages and Systems for Science laboratory (at the University of Kent)
