Software is in vital role for creating new business value as more and more traditional industries are becoming data driven. The collection and analysis of data provides new opportunities also for completely new applications. Some examples are Internet of Things, autonomous cars, and the use of drones to collect data for a myriad of applications. Many of these applications will need massively parallel and distributed computing infrastructure. The project will develop methodology for the design and verification of massively parallel and distributed data processing systems. These methods must also be accompanied with solid theoretical foundations, allowing for the development of automated testing and verification tools that are required to validate the software before production deployment. As an additional challenge computing is becoming heterogeneous with GPUs and hardware accelerators (e.g., neural network accelerators), how can they all be handled in a unified software framework?

2021

2024