University of Virginia: Programming the Swarm
University of Virginia, Department of Computer Science: “Our research focuses on developing methods for creating, understanding and validating properties of programs that execute on swarms of computing devices. We are striving to create and reason about swarm programs in principled ways. A promising approach is to construct swarm programs by combining primitives. The functional and non-functional behavior of a primitive is described using formal notations.” (Via Howard Rheingold.)