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 VerifikationIn 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 InformatikIn 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 2022Wollten 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 SeminarthemenIn 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/22Wollten 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/21Wollten 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 2020Wollten 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 LehrstuhlsIn 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.2019Mihai 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 2019Am 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/20Wollten 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 LehrstuhlsIn 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 StudienprofilenAm 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 2019Wollten 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-LehrsoftwareIn 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.2019Sarah 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 ForschungWollten 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-VotingAuch 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 ForschungWollten 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 ForschungWollten 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 AbschlussarbeitenWir 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 ForschungWollten 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öffentlichtDas 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 ForschungWollten 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 ForschungWollten 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 ForschungWollten 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 LehrstuhlsIn 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 TschiraDas 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 LehrstuhlsIn 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
Bild: Software Campus / Daniel Reinhardt
Das Bundesministerium für Wirtschaft und Energie veranstaltete am
Dienstag, den 21. Oktober 2014, den diesjährigen Nationalen IT-Gipfel in Hamburg.
Vertretend für das KIT sowie den Software Campus war auch Sarah Grebing vom
Institut für Theoretische Informatik am Lehrstuhl für Anwendungsorientierte
Formale Verifikation mit auf dem IT-Gipfel.
Weitere Informationen
Neues Werkzeug für Regression Verification am Lehrstuhl entwickeltIm 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 WintersemesterAuch 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 2010Das 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 DiplomarbeitDaniel 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 LinesDr. 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)