Peter Sewell Keith Wansbrough Computer Laboratory / Scalable Ubiquitous Computing Systems / GC2 / /
Facility
University of Cambridge / College Heller Research Fellowship / /
IndustryTerm
software construction / security infrastructure / client-server systems / connection-based anonymity systems / it extremely difficult to understand systems / ubiquitous computing / software engineers / it feasible to program such systems / software tools / Internet Programming Languages / poor information infrastructure / wide-area systems / delicate distributed algorithms / design tool / creative solutions / definition tool / semantic tools / particular systems / real-world protocol / possible experimental applications / Semantic technology / software evolution / large systems / interlinked systems / software artifact / industrial-scale software / communication infrastructure / specified systems / legacy systems / grid computing / software quality / computing / type systems / ad-hoc tools / real networking / /
OperatingSystem
Linux / BSD / Windows XP / /
Organization
University of Cambridge / NHS / /
Person
Michael Norrish / James Leifer / Benjamin C. Pierce / Benjamin Pierce / Steve Bishop / Gareth Stoyle / Asis Unyapoth / Keith Wansbrough / Gavin Bierman / Jan Vitek / Michael Compton / Gilles Peskine / Matthew Fairbairn / Andrei Serjantov / Moritz Y. Becker / Michael Hicks / Gian Luca Cattani / T. Wojciechowski / Moritz Becker / /
Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper – GC2, GC4, and GC6) Peter Sewell Keith Wansbrough