Will Harwood

Learn More
Mobile imaging and digital storytelling currently support a growing practice of multimedia communication in the West. In this paper we describe a project which explores their benefit in the East, to support non-textual information sharing in an Indian village. Local audiovisual story creation and sharing activities were carried out in a one month trial,(More)
The <i>StoryBank</i> project is examining technologies and practices to allow digitally impoverished communities to take part in the user-generated content revolution. The approach involves combining mobile phones to create audio-visual stories and a touch screen display situated in a community meeting place. This paper discusses the design, evaluation and(More)
This paper considers information access styles for a community digital library in an Indian village. We present our impressions of the community gathered during a field-study and show how these have influenced the interaction design. The prototype aims to overcome low-textual literacy and lack of computing experience by combining touch-based interaction,(More)
Bisimilarity ∼ and weak bisimilarity ≈ are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached – and even reached – by their (transfinite) inductively-defined approximants ∼α and ≈α. For arbitrary processes this approximation may need to climb arbitrarily high through the infinite ordinals before(More)
We present a theory of pointers and records that provides a representation for objects and sharing in languages like Java and C++. Our approach to pointers is based on Paige's entity groups, which give an abstract view of storage as equivalence classes of variables that share the same memory location. We first define our theory as a restriction of the(More)
  • 1