ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Dominic Orchard

Registered user since Wed 7 Jan 2015

Name: Dominic Orchard

Bio: Dr Dominic Orchard is a Lecturer in the School of Computing at the University of Kent, UK and he is a fellow of the SSI. 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 Kent, UK

Personal website: http://dorchard.co.uk

Research interests: Programming languages, types, semantics, verification

Contributions

PLACES 2019PC Chair in Program Committee within the PLACES-track
PC Chair in Organizing Committee within the PLACES-track
ESOP 2019Author of Composing bidirectional programs monadically within the ESOP 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile