My
research is concerned with large-scale open distributed systems
not subject to centralised control; examples of these include
the Internet, the World Wide Web, the Grid, the pervasive
computing
environment and their successors likely to be a combination of
these. Multiple properties, sometimes conflicting, are desirable
for such systems, including functionality, adaptivity, performance,
scalability, security, reliability and trust. In order to
address
these considerations, my research is both practical and theoretical.
My aim is to conceive, build, formalise and prove the correctness
of systems, and to use them in specific application contexts.
By this complete approach to research, my goal is to improve
our
capability of engineering robust solutions to tomorrow's computer
environment
I
have published over 80 articles in the domain of Grid computing,
distributed systems, agent-based systems, and distributed information
management. My investigation covers the spectrum of software
engineering:
design, specification, proof of correctness, implementation,
performance evaluation and application.
I
am member of the IAM Group, the largest Computer Science research
group in the School, with around 100 research staff. The activities
of IAM include distributed and Grid computing, agent-based
computing,
distributed information management, knowledge and Web technologies,
digital libraries, pervasive computing and networks.
