Name:Dominic Orchard

Bio:

Prof. Dominic Orchard is a Research Professor at the University of Cambridge where he Co-directs the Institute of Computing for Climate Science. He is also an academic at the School of Computing, University of Kent in the Programming Languages and Systems group. His research interests are programming language design and semantics, mathematically structured programming, effect and coeffect systems, embedded domain-specific languages (esp. for parallelisation), and applying programming language research to computational science.

Country:United Kingdom

Affiliation:University of Cambridge; University of Kent

Research interests:Programming languages, types, semantics, verification