معرفی
Dominic Orchard is a Senior Lecturer in the Programming Languages and Systems group at the University of Kent and co-director of the Institute of Computing for Climate Science at the University of Cambridge. He works part-time at Kent while maintaining his role at Cambridge. His research focuses on programming languages, verification, and semantics, with applications to climate modeling and computational science. He leads projects like Granule (a programming language with graded modal types) and CamFort (static analysis for Fortran).
Education background includes a PhD in Computer Science, though specific details are not provided. Research interests span type systems, formal verification, climate science software, and tool development.
Key achievements include the Distinguished Paper and Artifact Award at ECOOP 2022, the Best Paper Award at LOPSTR 2020, and fellowship at the Software Sustainability Institute. He advises multiple PhD students, including Vilem Liepelt and Danielle Marshall.
His work bridges theory and practice, with tools like Granule and CamFort addressing real-world challenges in scientific computing. He collaborates with climate scientists through the Institute of Computing for Climate Science, advancing interdisciplinary research.
