Senior Research Fellow at
Lancaster University.Overlay networks (including peer to peer), game
theoretic analysis of peer contribution of network resources including
bandwidth and higher services such as routing.
Technical Director of the European MMAPPS Project The MMAPPS Research Project is a consortium of eight European organisations, co-funded by the EU and participating
partners (€6m). The focus of the project is cross-disciplinary – researching economic and technical efficiency of services across Internet-based overlay networks.
Manager of the HP Internet Research Institute. The Institute was established to coordinate research projects across the U.S. and Europe. We researched and developed Internet software
technology. This brought together a consortium of research organisations, universities and an advisory board composed of the major global players and specialists in Internet technology. The
research included transport layer header compression, analysis of ad-hoc routing algorithms, multicast problems over firewalls, Quality of Service, distributed object control of networks and
ISP market dynamics.
Senior Technical Lead at HP European Research Labs, Bristol. Several research projects in distributed software systems and telecommunications, mainly in the area of high availability, especially
large network nodes such as Service Control Points.
Distributed software development environments. Control and data integration. The technology became an ISO standard. Co-author of a book on the subject with a colleague from IBM.
Research Associate at the University of Wales, Aberystwyth. Software development system portability substrates. Converged the standardisation of European and American Department of
Defense proposals via a formal abstraction layer.
Formal specification techniques for safety critical applications.
Developed and prototyped the European version of the proposals referred to above. This work built on the techniques developed during PhD.
Formal specification methods for reusable software components
Analysis of algebraic versus constructive formal specification methods