Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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

POPL 2019 Session Chair of Capabilities and Session Types I (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning
PLMW 2019 Panel: Grad School and Beyond
Panelist in Panelists within the PLMW@POPL-track
BEAT 2019 Session Chair of Session 2 (part of BEAT 2019)
Committee Member in Program Committee within the BEAT 2019-track
Show activities from other conferences

POPL 2019-profile
View general profile