Latest News

Israel – Science and Technology LTD (IBM, Coordinator)

IBM Research - Haifa

IBM has the world's largest IT research organization, with more than 3,000 scientists and engineers working at eight labs in six countries. IBM leads the world in patent filing, surpassing the combined total awarded to 12 of the largest IT companies. In aggregate, the company holds nearly 37,000 patents worldwide. IBM Israel Science and Technology Limited is better known as the IBM Research Laboratory in Haifa (HRL). Since it first opened as the IBM Scientific Centre in 1972, HRL has conducted decades of research that have been vital to IBM’s success. R&D projects are being executed today in areas such as cloud computing, smarter telco, healthcare and life sciences, discovery, verification technologies, multimedia, active management, information retrieval, programming environments, business transformation, and optimization technologies. The Lab houses IBM's biggest research centre outside the US, and employs over 500 people. HRL has strong legacy in leading and contributing to EU projects such as ModelWare and ModelPlex.

Dr. Hana Chockler

Oxford University

Oxford University

Oxford University is the oldest university in the English-speaking world, with over 20,000 students. The Oxford University Computing Laboratory (UOXF.BL) is a leading research institute with an outstanding reputation in Computer Science. The Computing Laboratory—the University's Computer Science department—is at the heart of computing and related interdisciplinary activity at Oxford. The University of Oxford has achieved excellent results in the most recent research assessment exercise (RAE). By “research power”, a measure that combines both quality and quantity of research, Oxford ranks third in the UK Computer Science table. The Computing Laboratory has over 50 faculty members, and over ten academics engage in research related to verification. This makes Oxford University’s Computing Laboratory the largest centre for verification-related research in Europe.

Dr. Daniel Kroening

Universita della Svizzera Italiana (USI)

Universita della Svizzera Italiana (USI)

Universita della Svizzera Italiana (University of Lugano) is the biggest and the youngest Swiss University in the Italian part of Switzerland. Its research staff has the highest international proportion in Switzerland, representing top-notch researchers from all over the world. USI combines 5 faculties, 20 institutes, 6 Doctoral schools, ~60 faculty members with overall budget of 60 millions CHF for 2006-2007. The faculty of informatics conducts research in formal methods, software engineering, networking, distributed systems, computer architectures and compiler theory and practice.

Prof. Natasha Sharygina

Universita degli Studi di Milano Bicocca (UniMiB)

Universita degli Studi di Milano Bicocca (UniMiB)

The University of Milan at Bicocca (UniMiB) was founded in 1998 as a result of the splitting of the University of Milan into two Universities. UniMiB is one of the main universities of Milan with 8 Faculties and over 28.000 graduate and undergraduate students. The Department of Computer Science, Systems and Communication is composed of 65 faculty members. UniMiB participates in the project through the Software Testing and Analysis Laboratory (LTA).

Dr. Leonardo Mariani

VTT Technical Research Centre of Finland

VTT Technical Research Centre of Finland

Technical Research Centre of Finland (VTT) is the largest multidisciplinary expert organization in the Northern Europe. VTT’s unique strength is its ability to create new, globally competitive technology and innovations by combining knowledge and expertise in different fields. VTT employs 2700 experts with a focus on applied materials, bio and chemistry processes, energy, ICT, industrial systems management, microtechnologies and electronics, and technology in the community. VTT’s turnover is 245M (2008). VTT is a member of ARTEMIS, MANUFUTURE and EUROP and other industrial and research consortia. VTT has participated in about 1000 EU Framework projects, including 205 FP6 and 102 (1/4 of which VTT coordinated) FP7 projects.

VTT is certified to conform to the quality management system standard ISO9001:2000 in research, testing, analysis, consulting and development of new technology. VTT Tampere hosts the DTP2 facility of ITER to demonstrate remote maintenance of the divertor cassettes. Currently, the equipment to be tested at the DTP2 includes the Cassette Multifunctional Mover (CMM) robot and control system along with the infrastructure such as the hydraulic power unit and the full scale Divertor Region Mockup. Other robots, e.g. the Cassette Toroidal Mover (CTM), are currently under development and will be tested at DTP2 in the future. The software controlling the CMM and CTM will be used as a test bed in the PINCETTE Project, in which VTT will utilize the expertise of Remote Operation and Virtual Reality (ROVIR) team with the input from other teams in industrial safety and reliability, machine automation, and human-machine systems.

Dr. Ali Muhammad

Israel Aerospace Industries (IAI)

Israel Aerospace Industries (IAI)

IAI is Israel's largest Industrial concern and a world leader for the manufacture of aerospace and large electronic systems. Israel Aerospace Industries is globally recognized as a leader in developing commercial aerospace technology. This distinction is the result of nearly a half-century of designing, engineering and manufacturing, for customers throughout the world: The development and production of state of the art business-jet Aerospace has been a prominent activity for more than three decades. A fleet of more than 500 business-jets Aerospace – Astra and Westwind series – originated from IAI. The G200 (formerly Galaxy) intercontinental super-mid-size and G100 (formerly Astra SPX) mid-size business-jets are currently in production. IAI has accumulated an impressive track record in maintenance, modification, upgrading, conversion and developmental program on a variety of commercial airplanes, engines and components. The adoption of latest technology is often a quality differentiator and provider of added value. This is the reason for IAI’s long-term investment in processes improvement.

Shlomo Gluck

ABB Corporate Research

ABB Corporate Research

ABB Corporate Research (CR) spans seven international research centres, which totally employ around 650 researchers. ABB CR creates fundamental concepts for the ABB companies' innovative, market-driven complete-system solutions. The scientific staff provides direct support for the ABB companies world-wide to keep them at the leading edge of their chosen technologies on a long-term basis. Group-driven research and development work is a constant source of new ideas and stimuli for the use of eco-friendly, resource-saving, cost-efficient products, installations and systems. ABB Corporate Research identifies and works on topics of global importance, where expertise is needed that is not present within the highly specialized business units. Furthermore, Corporate Research is dealing with strategic technologies, when their introduction involves a certain development-related risk. Our experts evaluate technologies, provide synergies, facilitate co-operation between business units, and provide a pool of expertise in technologies that are important for ABB.

Dr. Michael Wahler