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

Meet & Prove -- Hineinschnuppern in die Forschung des Lehrstuhls

In die Forschung des Lehrstuhls hineinschnuppern...
...mit kleinen Challenges
...mit Themen für Abschlussarbeiten
...mit Themen für HiWi-Jobs
...und Pizza

Am 16.7.2019 von 11:30Uhr bis 13:00 findet in Raum 236 (Gebäude 50.34) das Meet & Prove statt. Um Anmeldung bis zum 12.7.2019 bei jonas.schiffl@kit.edu wird gebeten.

Studierende entwickeln Open-Source-Lehrsoftware

In einem neuen Lehrlabor entstehen Tools und Programme für den Informatikunterricht – Entwickler orientieren sich direkt am Bedarf von Schülern und Lehrern.

Um als Erwachsene die Herausforderungen der Digitalisierung zu bewältigen, brauchen Schüle-rinnen und Schüler eine breite Grundbildung in Informatik. Doch oft fehlen den Lehrkräften die richti-gen Hilfsmittel, um Stoff wie Softwareentwicklung oder IT-Sicherheit zu vermitteln. Im neuen Open-Source-Lehrsoftware-Labor am Karlsruher Institut für Technologie (KIT) sollen Studentinnen und Studen-ten praktische Erfahrung in der Entwicklung von Open-Source-Software sammeln und gleichzeitig Materialien für den Informatikunterricht entwickeln.

Mehr ...

Promotion von Sarah Grebing am 07.02.2019

Sarah Grebing hat ihre Promotionsprüfung am 07.02.2019 sehr erfolgreich bestanden. Ihre Dissertation handelt von "User Interaction in Deductive Interactive Program Verification".

Wir gratulieren ihr dazu herzlichst!

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