Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Anwendungsorientierte Formale Verifikation

Der Lehrstuhl für Anwendungsorientierte formale Verifikation, geleitet von Prof. Bernhard Beckert, existiert seit 2009 am Institut für Theoretische Informatik und der KIT-Fakultät für Informatik.

Unser Forschungsgebiet ist die praktische Anwendung von Logik und Formalen Methoden für die Spezifikation und Verifikation von Software. Insbesondere beschäftigen wir uns mit den folgenden Anwendungsgebieten:

  • Verifikation von funktionalen Eigenschaften und Software-Verlässlichkeit
  • Verifikation von relationalen Eigenschaften und Software-Evolution
  • Verifikation von Informationsfluss-Eigenschaften und IT-Sicherheit
  • Verifikation von Social-Choice-Algorithmen und Wahlverfahren

Neuigkeiten

FoMSESS Jahrestagung 2019

Am 29./30.11.2019 findet an unserem Lehrstuhl das 15. Treffen der GI-Gruppe FoMSESS (Formale Methoden und Software Engineering für sichere Systeme) statt. Das Treffen soll dem Austausch auf dem Forschungsgebiet dienen und insbesondere Nachwuchswissenschaftlern die Möglichkeit geben, ihre Arbeiten in einem informellen Rahmen vorzustellen.

Praxis der Forschung im Wintersemester 2019/20

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Möchten Sie eine Alternative zu reinen Vorlesungen?

Dann ist Praxis der Forschung genau das Richtige für Sie!

Im Wintersemester 2019/20 bieten die Lehrstühle der Professoren Asfour, Beckert, Beigl, Mathis-Ullrich, Müller-Quade, Sinz und Waibel wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 16.10.2019 um 13:15 Uhr in Raum 236 (Gebäude 50.34) statt. Die Themen werden ab 17:15 Uhr im Foyer vor der Bibliothek (Gebäude 50.34) durch die Betreuerinnen und Betreuer an Postern vorgestellt.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Kontakt
Institut für Theoretische Informatik

Am Fasanengarten 5
76131 Karlsruhe
Deutschland
Tel.: +49 721 608-44023
Fax: +49 721 608-44021
E-Mail: simone.meinhartHfu8∂kit.edu

Anreise