{"id":5871,"date":"2021-01-08T10:54:18","date_gmt":"2021-01-08T09:54:18","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/forschung-research\/formal-methods\/"},"modified":"2021-01-15T11:51:13","modified_gmt":"2021-01-15T10:51:13","slug":"formal-methods","status":"publish","type":"page","link":"https:\/\/saarland-informatics-campus.de\/en\/forschung-research\/formal-methods\/","title":{"rendered":"Formal Methods"},"content":{"rendered":"

[et_pb_section fb_built=”1″ specialty=”on” admin_label=”Kurz\u00fcbersicht Forschungsfeld” _builder_version=”4.7.3″ _module_preset=”default”][et_pb_column type=”1_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”]<\/p>\n

[CustomSidebarSlug _builder_version=”4.7.3″ _module_preset=”default”][\/CustomSidebarSlug]<\/p>\n

[\/et_pb_column][et_pb_column type=”3_4″ specialty_columns=”3″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_row_inner _builder_version=”4.7.3″ _module_preset=”default”][et_pb_column_inner saved_specialty_column_type=”3_4″ _builder_version=”4.7.3″ _module_preset=”default”][et_pb_text admin_label=”Formal Methods” _builder_version=”4.7.3″ _module_preset=”default”]<\/p>\n

Formal Methods<\/h1>\n

[\/et_pb_text][et_pb_text _builder_version=”4.7.3″ _module_preset=”default” hover_enabled=”0″ sticky_enabled=”0″]<\/p>\n

Brief overview of the research field<\/h2>\n

To be \u201cquite sure\u201d 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\u2019s life? Researchers want to be able to answer such questions for complex software in all application areas. Their secret weapons: mathematical logic and probabilities.<\/p>\n

In Saarbr\u00fccken 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<\/a>, with numerous professorial chairs and junior research groups.<\/p>\n

[\/et_pb_text][\/et_pb_column_inner][\/et_pb_row_inner][\/et_pb_column][\/et_pb_section][et_pb_section fb_built=”1″ specialty=”on” admin_label=”Professoren\/innen in diesem Gebiet” _builder_version=”4.7.3″ _module_preset=”default”][et_pb_column type=”1_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][\/et_pb_column][et_pb_column type=”3_4″ specialty_columns=”3″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_row_inner _builder_version=”4.7.3″ _module_preset=”default”][et_pb_column_inner saved_specialty_column_type=”3_4″ _builder_version=”4.7.3″ _module_preset=”default”][et_pb_text _builder_version=”4.7.3″ _module_preset=”default”]<\/p>\n

Professors in this field<\/h2>\n

[\/et_pb_text][et_pb_code _builder_version=”4.7.3″ _module_preset=”default”]

Image of Markus Bl\u00e4ser<\/div>
Prof. Dr. Markus Bl\u00e4ser<\/div>
Professor, Saarland University
Computational Complexity<\/div>
<\/span>
Saarland University<\/br>Saarland Informatics CampusE1 3, R. 412<\/br>66123 Saarbr\u00fccken<\/br>Germany<\/div><\/span>
+49 681 302-5501<\/div><\/span>
Assistant: +49 681 302-3434<\/div><\/span>
E-Mail<\/a><\/div><\/span>
Homepage<\/a><\/div><\/div><\/div>