Presse und Nachrichten

Offene Stellen für Doktoranden und/oder PostDoc-Forscher (m/w/d)

Interesse, an formalen Methoden zu forschen? Wir haben offene Stellen!

Mehr erfahren ...

Neue Seminarthemen zur Anwendung formaler Verifikation

In unserem Seminar Anwendung Formaler Verifikation bieten wir eine große Bandbreite an neuen Themen in verschiedenen Bereichen formaler Logik, Methoden und Verifikation mit Bezug zu zahlreichen Anwendungsfeldern an. Neben den ausgeschriebenen Themen sind wir offen für Ihre Ideen innerhalb unserer Forschungsgebiete. Wenn Sie Interesse haben, kontaktieren Sie einfach Wolfram Pfeifer sowie gegebenenfalls die betreffenden Mitarbeiterinnen und Mitarbeiter unserer Forschungsgruppe.

Weitere Informationen ...

Neue Seminarthemen zu Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik

In unserem Seminar Fairness und Diskriminierungsfreiheit aus Sicht von Ethik und Informatik bieten wir neue Themen in der Schnittmenge zwischen theoretischer Informatik und praktischer Philosophie bzw. Ethik im Anwendungsgebiet der algorithmischen Fairness und maschinellem Lernen. Das Format des Seminars ist interdisziplinär geprägt und beinhaltet neben der vertieften Bearbeitung spezifischer Seminarthemen auch gemeinsame Diskussionen von Texten.

Wenn Sie Interesse haben, melden Sie sich bitte zum ILIAS-Kurs an und kontaktieren Sie formlos Michael Kirsten unter Angabe Ihres Namens und Studiengangs. Der Termin zur Auftaktveranstaltung sowie folgende Termine werden zeitnah bekanntgegeben.

Weitere Informationen ...

Praxis der Forschung im Sommersemester 2022

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 Sommersemester 2022 bieten die Forschungsgruppen der Professor:innen Beckert, Beyerer, Bläsius, Böhm, Koziolek, Neumann, Reussner, Schaefer, Strufe und Wagner wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 20.04.2022 um 11.30 Uhr im Hörsaal -102 statt. Direkt im Anschluss werden die angebotenen Themen durch die Betreuerinnen und Betreuer im Foyer vor der Informatik-Bibliothek vorgestellt.

Bitte treten Sie zur Teilnahme dem ILIAS-Kurs bei.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Neue Seminarthemen

In unserem Seminar Anwendung Formaler Verifikation bieten wir eine große Bandbreite an neuen Themen in verschiedenen Bereichen formaler Logik, Methoden und Verifikation mit Bezug zu zahlreichen Anwendungsfeldern an. Neben den ausgeschriebenen Themen sind wir offen für Ihre Ideen innerhalb unserer Forschungsgebiete. Wenn Sie Interesse haben, kontaktieren Sie einfach Jonas Schiffl sowie gegebenenfalls die betreffenden Mitarbeiterinnen und Mitarbeiter unserer Forschungsgruppe.

Seminarthemen und -Termine ...

Praxis der Forschung im Wintersemester 2021/22

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 2021/22 bieten die Forschungsgruppen der Professor:innen Asfour, Beckert, Beigl, Beyerer, Böhm, Hartenstein, Koziolek, Mathis-Ulrich, Sanders und Wressnegger wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 21.10.2021 um 12:00 Uhr in der Informatik-Bibliothek statt. Direkt im Anschluss werden die angebotenen Themen durch die Betreuerinnen und Betreuer vorgestellt.

Bitte treten Sie zur Teilnahme dem ILIAS-Kurs bei.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Praxis der Forschung im Wintersemester 2020/21

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 2020/21 bieten die Lehrstühle der Professoren Asfour, Beckert, Beigl, Böhm, Friederich, Henkel, Neumann, Sanders, Sinz und Strufe wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 03.11.2020 um 12:00 Uhr in MS-Teams (siehe ILIAS-Kurs) statt. Direkt im Anschluss werden die angebotenen Themen durch die Betreuerinnen und Betreuer vorgestellt.

Bitte treten Sie zur Teilnahme dem ILIAS-Kurs bei. Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

Praxis der Forschung im Sommersemester 2020

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 Sommersemester 2020 bieten die Lehrstühle der Professoren Beckert, Beigl, Henkel, Koziolek, Neumann, Sanders, Sinz, Tichy und Wagner wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 21.04.2020 um 13:15 Uhr in MS-Teams (siehe ILIAS-Kurs) statt. Die Themen werden ab 17:15 Uhr in MS-Teams (siehe ILIAS-Kurs) durch die Betreuerinnen und Betreuer vorgestellt.

Bitte treten Sie zur Teilnahme dem ILIAS-Kurs bei. Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

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 6.2.2020 ab 16Uhr findet in Raum 301 (Gebäude 50.34) das Meet & Prove statt. Um Anmeldung bis zum 3.2.2020 bei Jonas Schiffl wird gebeten.

Promotion von Mihai Herda am 13.12.2019

Mihai Herda hat seine Promotionsprüfung am 13.12.2019 sehr erfolgreich bestanden. Seine Dissertation behandelt "Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties".

Wir gratulieren ihm dazu herzlichst!

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 ...

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.

Informationsveranstaltung zu Studienprofilen

Am 29.04.2019 von 13 - 14 Uhr findet in Raum -101 (Geb. 50.34) eine Informationsveranstaltung zu den Studienprofilen im Master-Studiengang statt.

In dieser Veranstaltung werden die Studienprofile sowie deren Rahmenbedingungen vorgestellt. Es ist auch Zeit für allgemeine Fragen eingeplant.

Praxis der Forschung 2019

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 Sommersemester 2019 bieten die Lehrstühle der Professoren Asfour, Beckert, Beigl, Hanebeck, Karl, Reussner, Sinz, Snelting, Wagner, Waibel und Zitterbart wieder die Veranstaltung "Praxis der Forschung" an.
Die Informationsveranstaltung dazu findet am 24.04.2019 um 13:15 Uhr in Raum 131 (Gebäu-de 50.34) statt. Die Themen werden ab 17:15 Uhr im Foyer vor der Bibliothek (Gebäude 50.34) durch die Betreuungspersonen an Postern vorgestellt.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen ...

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!

Informationsveranstaltung zu Praxis der Forschung

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

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

Im Wintersemester 2018/19 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Hanebeck, Professor Kröger, Juniorprofessor Koziolek, Professor Reussner und Professor Zitterbart wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 16.10.2018 um 13:15 Uhr in Raum 236 (Gebäude 50.34) statt. Die angebotenen Themen werden ab 17:15 Uhr im Foyer vor der Bibliothek (Gebäude 50.34) anhand von Postern durch die jeweiligen Betreuerinnen und Betreuer vorgestellt.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen

Softwareprojekt Blockchain-basiertes E-Voting

Auch in diesem Semester bieten wir wieder ein Projekt im Rahmen von "Praxis der Softwareentwicklung" an. Am 4. Mai 2018 begann das Projekt im Sommersemester 2018 zum Thema "Blockchain-basiertes E-Voting". Hierbei entwickeln fünf Studierende im Team ein vollständiges Softwareprojekt nach dem Stand der Softwaretechnik. Dieses Semester wird hierzu die permissioned Blockchain-Technologie Hyperledger Fabric verwendet, um nachvollziehbare elektronische Abstimmungen mittels eines verteilten Ledgers zu realisieren.

Informationsveranstaltung zu Praxis der Forschung

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

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

Im Sommersemester 2018 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Hanebeck, Juniorprofessor Koziolek, Professor Kröger, Professor Müller-Quade, Professor Reussner, Professor Tichy und Professor Zitterbart wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 17.04.2018 um 13:15 Uhr in Raum 236 (Gebäude 50.34) statt. Die angebotenen Themen werden ab 17:15 Uhr im Keller-Foyer (Gebäude 50.34) anhand von Postern durch die jeweiligen Betreuerinnen und Betreuer vorgestellt.

Um Voranmeldung per E-Mail wird gebeten.

Themen und weitere Informationen

Informationsveranstaltung zu
Praxis der Forschung

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

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

Im Wintersemester 2017/18 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Juniorprofessor Koziolek, Professor Kröger, Professor Müller-Quade, Professor Reussner, Professor Snelting und Professor Zitterbart wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 18.10.2017 um 13:00 Uhr in Raum -101 (Gebäude 50.34) statt.

Themen und weitere Informationen

Neue Themen für Abschlussarbeiten

Wir bieten eine große Bandbreite an neuen Themen für Bachelor- und Masterarbeiten in Feldern wie PLC-Verifikation, Erweiterungen zum KeY-Verifikationsansatz, Formalisierung/Verifikation von Sozialwahl-Eigenschaften, und vieles mehr an. Neben den ausgeschriebenen Themen sind wir offen für Ihre Ideen innerhalb unserer Forschungsgebiete. Wenn Sie Interesse haben, kontaktieren Sie einfach die betreffenden Mitarbeiter unserer Forschungsgruppe.

Themen und Forschungsfelder für Abschlusssarbeiten

Informationsveranstaltung zu
Praxis der Forschung

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

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

Im Sommersemester 2017 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Reussner und Professor Stiefelhagen wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 25.04.2017 um 13:00 Uhr in Raum -101 (Gebäude 50.34) statt.

Themen und weitere Informationen

Neues KeY-Buch veröffentlicht

Das neue KeY-Buch beschreibt alle Aspekte der Deduktiven Softwareverifikation, wie sie im KeY-Ansatz realisiert ist. Dieses Buch ist die umfassende Informationsquelle für das KeY-Werkzeug Version 2.6.

Das KeY-Buch ist erhältlich beim Springer-Verlag als Band 10001 in LNCS und bei Springer Link.

Mehr Informationen

Informationsveranstaltung zu
Praxis der Forschung

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

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

Im Wintersemester 2016/17 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Karl, Professor Reussner und Professor Sanders wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an.
Die Informationsveranstaltung dazu findet am 17.10.2016 um 13:00 Uhr in Raum -102 (Gebäude 50.34) statt.

Themen und weitere Informationen

CVE-2016-6313: Schwerwiegender Fehler in PRNG gefunden
(August 2016)

CVE-2016-6313 - Schwerwiegender Fehler im GnuPG/Libgcrypt PRNG mithilfe des Tools Entroposcope gefunden, welches von Felix Dörre und Dr. Vladimir Klebanov als Teil des DeduSec-Projekts innerhalb des RS³ Schwerpunktprogramms entwickelt wurde. Die Veröffentlichung, die beschreibt wie Entroposcope funktioniert, wurde im Oktober 2016 bei der ACM CCS 2016 in Wien vorgestellt.

Update: Präsentation auf dem 33. Chaos Communication Congress (33C3)

Informationsveranstaltung zu Praxis der Forschung

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

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

Im Sommersemester 2016 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Reussner und Professor Sanders wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an. Die Informationsveranstaltung dazu findet am 19.04.2016 um 13:00 Uhr in Raum 236 (Gebäude 50.34) statt.

Themen und weitere Informationen

Informationsveranstaltung zu Praxis der Forschung

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

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

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

Im Wintersemester 2015/16 bieten die Lehrstühle von Professor Asfour, Professor Beckert, Professor Beigl, Professor Reussner und Professor Sanders wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an. Die Informationsveranstaltung dazu findet am 20.10.2015 um 13:00 Uhr in Raum 301 (Gebäude 50.34) statt.

Themen und weitere Informationen

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 mit anschließendem Get-Together

Am 16.07.15 ab 15:45 Uhr findet in Raum 201 (Gebäude 50.34) das Meet & Prove statt. Um Anmeldung bis zum 13.07.15 bei simone.meinhart@kit.edu wird gebeten.

Trauer um Klaus Tschira

Das KIT und unsere Arbeitsgruppe trauern um Klaus Tschira. Ohne die Förderung der Klaus Tschira Stiftung wäre die Arbeitsgruppe in der Form nicht möglich gewesen.

Nachruf des KIT

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 mit anschließendem Get-Together

Am 04.02.15 ab 15:45 Uhr findet in Raum 201 (Gebäude 50.34) das Meet &nd Prove statt. Um Anmeldung bis zum 01.02.15 bei simone.meinhart@kit.edu wird gebeten.

Sarah Grebing vertritt das KIT und den Software Campus auf dem nationalen IT-Gipfel 2014

Neues Werkzeug für Regression Verification am Lehrstuhl entwickelt

Im Rahmen des Projekts IMPROVE und der Lehrveranstaltung "Praxis der Forschung" ist das Werkzeug rêve entwickelt worden.

Mit dem Werkzeug ist es möglich formal zu beweisen, dass zwei Versionen eines Programms sich entweder gleich verhalten oder in einer klar definierten Weise unterschiedlich.

Details dazu können der Publikationen von der ASE 2014 entnommen werden.

Webseite des Projekts

"Praxis der Softwareentwicklung" im Wintersemester

Auch in diesem Wintersemester bieten wir wieder "Praxis der Softwareentwicklung" an. Wenn Sie Teilnehmer/in sind, nehmen Sie bitte am verbindlichen ersten Gruppentermin am Mittwoch, 3. November um 15:45 Uhr im Raum 211 (Geb. 50.34) teil. Dort wird alles weitere Organisatorische besprochen.
Webseite zur Veranstaltung

Deduktionstreffen 2010

Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Dieses Treffen bietet allen, die an der Deduktion interessiert sind, die Möglichkeit über ihre Arbeit in informellem Rahmen zu berichten.
Das vom Lehrstuhl Anwendungsorientierte Formale Verifikation organisierte Deduktionstreffen 2010 wird vom 20.-21. September am KIT abgehalten.
Weitere Informationen

Best Paper Award für Diplomarbeit

Daniel Bruns hat für seine Diplomarbeit "Formal Semantics for the Java Modeling Language" eine Auszeichnung für das "Best Paper" zu den Informatiktagen 2010 der Gesellschaft für Informatik erhalten.

Reuse-based Verification of Software Product Lines

Dr. Ina Schaefer, Chalmers University, Göteborg, ist zu Gast und trägt über ihre Arbeiten zur Verifikation von Software Product Lines vor (Montag, 20.12.09, 14 Uhr, Raum 211, Gebäude 50.34)