This project aims at developing an efficient sustainable solution for domestic space heating and hot water supply with an integrated hybrid fuel cell – heat pump system. Utilizing waste heat from the fuel cell, we will deliver an optimized design for the hybrid system, and develop the key element required: a heat exchanging fuel cell electrode with optimized coolant flow path, extracting high heat without reduction in fuel cell safety or efficiency, relying on the design freedom of additive manufacturing. Based on hydrogen, the solution combines effective heat and hot water supply with negligible CO2 emissions.

Hydrogen4Tomorrow targets the economic production of green hydrogen by coupling hydrogen generation with alternative electrocatalytic anodic transformations to (1) reduce the required energy demand of hydrogen generation and (2) to co-produce valuable chemical products with a suitable sales market. This will both increase the economic viability and minimize the environmental footprint of hydrogen generation, thus, contributing to the establishment of a prosperous European green hydrogen economy.

Model checking is one of the most successful formal techniques for the verification of software and hardware systems. Developed in the beginning of the eighties, nowadays it is used by major companies, like Microsoft and Intel, to improve the quality of their products. Multi-core processors of affordable prices that emerged on the market in 2005 promise to bring low-cost parallel computers on our desktops which will denote a turning point in the area of parallel computing and computer science and engineering in general. The aim of this project is to develop new algorithms for model checking (including probabilistic model checking) that can fully exploit the parallelism of the multi-core machines. The emphasis will be put on efficient algorithms for the so called liveness properties expressed in temporal logics. One of the main application areas of model checking are concurrent systems. Since parallel machines will trigger a growing need of software that exploits concurrency and parallelism, one can expect that the emergence of the multi-core technology will significantly increase the importance of model checking in industry. With the increasing complexity of the software the verification can obviously benefit from an efficient fast mulit-core model checking. We plan to develop prototype implementations of the new algorithms in model checkers, like Spin and its extensions, as well as the probabilistic model checker MRMC. The prototype implementations will be validated on case studies including models of biological systems.

The chemical industry needs to substitute fossil-based energy and resources by renewable energy and sustainable carbon feedstocks such as CO2 and biomass, to reduce environmentally harmful emissions stemming from fossil-derived carbon. To sustain the production of chemicals and materials that propel modern development, this research consortium of academic institutions, technology providers, and technology end-users will develop durable electrodes and electrochemical processes for conversion of carbon dioxide to platform chemicals based on formaldehyde, while simultaneously upgrading bio-acids into bio-chemicals. We will validate the feasibility of electrodes based on earth-abundant carbon, thus eliminating the necessity of critical elements.