Dominic Orchard
Senior Lecturer at Queens' College, Cambridge
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolDominic Orchard is a Senior Lecturer and research leader with 17 years' experience specialising in the theory, semantics and verification of programming languages, and in translating those advances into practical tools for computational science. He co-directs the Institute of Computing for Climate Science at the University of Cambridge and holds academic posts at Cambridge and the University of Kent, reflecting a rare blend of deep formal methods expertise and applied collaboration with climate scientists. Dominic's work spans foundational programming-language research and interdisciplinary deployments that improve the reliability of climate models and workflows. He completed a PhD at Cambridge and has a track record of progressing from postdoctoral roles to research leadership, often bridging theory and real-world scientific software.
17 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of CambridgeMaster of Engineering - MEng Computer Science, Master of Engineering - MEng Computer Science at University of Warwick
Github Skills (156)
parser10
agda10
interoperability10
abstraction10
automated-refactoring10
language-design10
haskell10
static-analysis10
dependent-types10
union10
polymorphism10
hackage10
idris10
type-theory10
transformation10
Programming languages (17)
Github contributions (5)
dorchard/lambda-club
Nov 2016 - Mar 2022
Material from presentations at the University of Kent's LambdaClub meetings
Contributions:122 commits, 16 PRs, 103 pushes in 5 years 5 months
kentuniversity-of-kent
camfort/camfort.github.io
Jan 2017 - Jun 2024
Contributions:3 PRs, 91 pushes, 1 branch in 7 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.