My general area of research is the Foundations of Computation.
I am specifically interested in the semantics of concurrent and distributed computation,
and am currently seeking to provide a sound logical semantics for mobile systems.
Associated with these semantic theories come specification techniques and verification
technologies for assuring the behaviour of systems.
In am also interested in the design and implementaion of high-level programming
languages for specifying, programming and verifying concurrent activities.