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 | |||||||||
| 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 | |||||
| |||||
| Software | Contributor to Lem, and DSD (DNA Strand Displacement); developer of ProfessorJ; contributor to DrRacket |
||||
| Teaching | Supervisions, TeachScheme, U.Chicago CSPP
course |