The consortium consists of seven partners that all of them have experience of successful international research collaboration. The involvement of partners with a wide range of expertise ensures that the scientific, technical and dissemination aims of the project will be met, and that its impact will be maximized. Partners are listed in alphabetical order of their Latin name on the following sections:
The EDF Group is a leading player in the European energy industry, active in all areas of the electricity value chain, from generation to trading, and increasingly active in the gas chain in Europe. Leader in the French electricity market, the Group also has solid positions in the United Kingdom, Germany and Italy. In the electricity sector, it has the premier generation fleet and customer portfolio in Europe, and operates in strategically targeted areas in the rest of the world. The Group is also the leading network operator in Europe, giving it a sound business model evenly balanced between regulated and deregulated activities.
Ericsson AB is a company in the Ericsson Group. The Ericsson Group is a world-leading provider of telecommunications equipment and related services to mobile and fixed network operators globally. Over 1,000 networks in more than 175 countries utilize Ericsson's network equipment and 40 percent of all mobile calls are made through their systems. Ericsson is one of the few companies worldwide that can offer end-to-end solutions or all major mobile communication standards. Reflecting Ericsson's ongoing commitment to technological leadership, the company has one of the industry's most comprehensive intellectual property portfolios containing over 25,000 patents, number 1 in mobile telecom.
Erlang Solutions Ltd. is an international company specialising in the Open Source language Erlang and its middleware OTP. It was founded soon after Erlang was released as open source in 1998, with an aim to fill a vacuum similar to that existing before companies such as SUSE and Redhat came in to support Linux. Our main office is in central London, with a Swedish office in Stockholm and a Polish office in Krakow. From these locations, we serve our clients who are spread on five continents. Our clients are universities, major multinational corporations, as well as small and medium-sized companies. It is a good match for Erlang Solutions' staff, who represent twelve nationalities and have no fear of flying.
The Computer Science Department within the School of Mathematical and Computer Sciences at Heriot-Watt University has an excellent reputation for its research in parallel and distributed computing. Heriot-Watt Dependable Systems Group routinely engage in collaborative research typically with several European concurrent EU or International projects. Recent projects include Embounded and ReDSeeDS. Phil Trinder is currently Heriot-Watt lead on the SCIEnce FP6 I3 Project (026133) project (9 international partners), and recently completed the PAMGUARD collaboration (4 international partners). Heriot-Watt will coordinate the project.
The Institute of Communication and Computer Systems (ICCS) is a university research institute, associated with the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA). ICCS carries research and development activities in the fields of telecommunication systems, computer systems, software and hardware engineering, automatic control systems and biomedical engineering. One of the laboratories of ICCS is the Software Engineering Laboratory, which is engaged in teaching, development and research in the areas of programming languages and software engineering.
The functional programming group at the University of Kent has had a strong reputation for more than twenty years. Interest ranges from theory and semantics to the design of novel programming frameworks, and a recent focus of work has been refactoring for functional programming languages, first with the HaRe refactorer for Haskell, and more recently in building the Wrangler refactorer for Erlang. In both cases it has been our aim to build practical tools, covering the complete language and integrated with the standard program development tools, with industrial practitioners informing the user requirements of the systems.
The Programming Language Technology group has of the IT Dept broad interests in the design and implementation of declarative languages and systems. For more than ten years the group has been heavily involved in the development of the Erlang language, has implemented and still maintains the HiPE (High Performance Erlang) native code compiler of Erlang/OTP and its runtime system support, and has created a suite of widely used tools for Erlang program development (Dialyzer, Typer, Tidier, etc.), most of which are nowadays part of Ericsson's Erlang/OTP system and are heavily used by its user community.