Kathy Gray

(aka Kathryn E Gray)

Research associate
The Computer Laboratory
University of Cambridge
Working with Peter Sewell

Teaching Associate, Computer Science, Gonville and Caius College

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

Research Domain specific languages for Biology, particularly focusing on DNA. Programming languages, particularly looking at interoperability between different languages and gradual typing. And programming language semantics.
Affiliations: PLT; CPRG
Publications
Committees:ECOOP 2012: European Conference on Object-Oriented Programming
STOP 2012: Script to Program Evolution
OOPS 2012: Object-Oriented Programming Languages and Systems
TOOLS Europe 2010: 48th International Conference on Objects, Models, Components, Patterns
ECOOP 2009: European Conference on Object-Oriented Programming
OOPS 2009: Object-Oriented Programming Languages and Systems
Software Contributor to DSD (DNA Strand Displacement); developer of ProfessorJ; contributor to DrRacket
Teaching Supervisions, TeachScheme, U.Chicago CSPP course