Home UC3M
Home IT
Home / Personal / Profesores Titulares / Huw Edward Oliver


Huw Edward Oliver
Profesor Visitante

Teléfono: (+34) 91-624-8814
E-mail: holiver@it.uc3m.es
Dirección: Universidad Carlos III de Madrid. Avda de la Universidad, 30
E-28911 Leganés (Madrid) Spain
Visitas: Escuela Politécnica Superior · Edificio Torres Quevedo ·
Despacho 4.1 A02


Senior Research Fellow at Lancaster University.Overlay networks (including peer to peer), game theoretic analysis of peer contribution of network resources including computation, storage,

 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.
 1985-1988 (PhD)
Formal specification methods for reusable software components
1984-1985 (MSc)
Analysis of algebraic versus constructive formal specification methods
english version

Localización | Personal | Docencia | Investigación | Novedades | Intranet
inicio | mapa del web | contacta