The emergence of agent based systems is signalling the beginning
of one of the most important paradigm shifts in computer science since
object oriented method and client/server based distributed
systems. This paradigm shift will obviously require technology
development, but of equal importance, or perhaps even more importance,
it will also require substantial education and methodology
development. It is not hard to predict that agent technology is an
important emerging technology, since it is already beginning to send shock waves
through the computer industry - L.L. Thomsen and B. Thomsen
Research
I am a PhD student at Edinburgh University. My main interests are in
Global Computation and Mobile Agents. My particular interest in this
field is dealing with notions of locality. The ability to call local
resources with uniform commands is fundamental to mobile
computation. This has led me to investigate a notion of binding a
channel so that it has a number of mutually exclusive local areas.
Communication on the channel is then allowed inside these areas but
not between then. I have developed a boxed pi-calculus called the
local area calculus that captures this notion.