Finkbeiner Lab

Research focus

ERC Advanced Grant · 2021

Logics and Algorithms for a Unified Theory of Hyperproperties

The central role of information technology in all aspects of our private and professional lives has led to a fundamental change in the type of program properties we care about. Up to now, the focus has been on functional correctness; in the future, requirements that reflect our societal values, like privacy, fairness, The central role of information technology in all aspects of our private and professional lives has led to a fundamental change in the type of program properties we care about. Up to now, the focus has been on functional correctness; in the future, requirements that reflect our societal values, like privacy, fairness, and explainability will be far more important. These…

From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.