Brief overview of the research field
To be “quite sure” is the goal of this research area. Does the sensor detect the impact early enough, so that the airbag has enough time to deploy and save the driver’s life? Researchers want to be able to answer such questions for complex software in all application areas. Their secret weapons: mathematical logic and probabilities.
In Saarbrücken this research field of theoretical computer science is particularly well represented in the entire computer science department, as well as in the Max Planck Institute for Informatics, with numerous professorial chairs and junior research groups.