The Computing as a Service department targets the transformation of IT through cloud computing, while leveraging skills in quality, security, storage, systems, and software-defined environments. Within cloud computing, we focus on the areas of virtualization, networking, systems management, and storage. In support of this direction, we leverage Open Source projects such as OpenStack, Open DayLight and KVM. The department pioneered and lead several EU Cloud projects including Reservoir (Cloud Federation), VISION Cloud (Advanced Object Stores), and FI-WARE (Advanced OpenStack based Clouds). When it comes to technologies and tools for software quality and code optimization, the team pioneered and led related EU projects, including FITTEST, CloudWave and HIPEAC network of excellence.
Another strategic direction is the area of quality and security. We apply various techniques in software analysis, constraint satisfaction, formal methods, machine learning, and knowledge representation to create a wide set of security and quality related solutions. In the domain of hardware verification we develop advanced tools and technologies spanning the entire spectrum of dynamic and static functional verification, including solutions for high-end designs focusing on the verification of micro-processors, multi-processor designs, and large systems.