Research ProjectIMPACT
IMPACT: This is short for Implications of conversing with intelligent machines in everyday life for people's beliefs about algorithms, their communication behavior and their relationship building. The Volkswagen Foundation funded the network with 1.5 million euros. Around half a million of this went to the UDE. The universities of Bielefeld and Kassel and the Protestant University of Applied Sciences in Nuremberg were also involved.
Research ProjectDiverse-Private
The pop-up window of the online shop says "I accept" in large letters with a colored background, and "Individual privacy settings" in very small letters underneath: It's about cookies, personalized ads and individual content, which users agree to at best from the company's point of view. Only a few people know what the consequences are. Social psychologists under the leadership of the UDE are investigating how people with different backgrounds can make self-determined decisions about their digital data. The Federal Ministry of Education and Research is funding the project for three years with 1.23 million euros.
DFG ProjectSpectra of Behavioural Distances and Quantitative Logics (SpeQt)
SpeQt focuses on the study of equivalence terms in parallel systems. The project aims to develop unified methods for different types of systems by using graded monads to parameterize these equivalences. The main goal is to develop logics, games and algorithms for different types of transition systems, from branching-time to linear-time semantics. The results will be applied in case studies for conformance testing of hybrid systems and for ensuring differential privacy.