Dr Kathryn Gray

Name:	Dr Kathryn Gray
Affiliation:	University of Utah
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Thu Jan 08 13:31:31 +0000 2015

Public lists managed by Dr Kathryn Gray

Talks given by Dr Kathryn Gray

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Semantics of a DNA Strand Displacement Model
• System Tests from Unit Tests
• Painless Parse Errors
• Logical Testing: Hoare-style Specification Meets Executable Validation

Talks organised by Dr Kathryn Gray

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Dr Kathryn Gray actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.