Kathy Gray

(aka Kathryn E Gray)

Research associate
The Computer Laboratory
University of Cambridge
Working with Peter Sewell on the REMS project

Teaching Associate, Computer Science, Gonville and Caius College

headshot
e-mail: kathryn DOT gray AT cl.cam.ac.uk

Research Domain specific languages for scientists and engineers, with recent focus on computer architects for instruction set specifications, and previously biology, particularly focusing on DNA representations. Programming languages, particularly looking at interoperability between different languages and gradual typing, as well as software testing. And programming language semantics.
Affiliations: PLT; CPRG
Publications
Committees:
Program Chair: Scheme 2016: Scheme and Functional Programming Workshop
Software Contributor to Lem, and DSD (DNA Strand Displacement); developer of ProfessorJ; contributor to DrRacket
Teaching Supervisions, TeachScheme, U.Chicago CSPP course