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