Many safety-critical areas of our lives are being controlled by computer systems: from airbag controls in cars and landing gear on airplanes to essential infrastructure such as energy supply and telecommunications. But are these systems reliable? Computer science professor Jan Reineke of Saarland University thinks not – because a crucial component of today’s computer systems renders the development of safe and secure IT applications impossible at a fundamental level. To change this and to improve the interaction between hardware and software, the computer scientist is now being funded through an ERC Advanced Grant with around 2.5 million euros over five years.
Research on the interplay of hardware and software
2021