معرفی
Dominic Orchard is a Senior Lecturer in the School of Computing at the University of Kent, UK, and co-director of the Institute of Computing for Climate Science at the University of Cambridge. He leads the Programming Languages and Systems research group at Kent and the Laboratory for Programming Languages and Systems for Science. His academic roles include teaching courses on Functional Programming and Theory and Practice of Concurrency.
Orchard's research focuses on programming language theory and practice, specializing in type systems, semantics, verification, mathematically structured programming, effect/coeffect systems, and domain-specific languages. His work applies programming language research to computational science, particularly climate science. Key projects include Granule (advanced type systems), CamFort (scientific computing verification), and PLAS4Sci (programming languages for science).
His publications demonstrate a consistent focus on type theory, formal verification, and programming language semantics, with recent work exploring graded modal types, session types, program synthesis, and compiler intermediate representations. The research consistently bridges theoretical foundations with practical applications in scientific computing and verification.
Awards and Honors:
- Fellow of the Software Sustainability Institute
- Distinguished Paper Award at ECOOP 2022
- Distinguished Artifact Award at ECOOP 2022
- Best paper award at LOPSTR 2020
Advising and Leadership: Orchard currently advises PhD students including Vilem Liepelt, Danielle Marshall, and Paulo Torrens. He has served as program chair for PROPL 2024, TyDe 2021, and PLACES 2019, and served on program committees for POPL, ICFP, ECOOP, and Haskell Symposium.
Research Groups: Directs the Laboratory for Programming Languages and Systems for Science at Kent and co-leads the Institute of Computing for Climate Science at Cambridge, focusing on computational methods for environmental science.
