Dies ist eine alte Version des Dokuments!
Ich bearbeitet das DFG Projekt „Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse“.
Speicherprogrammierbare Steuerungen (SPSen) sind Steuerungscomputer zur Automatisierung, Regelung und Steuerung von großtechnische Anlagen und Maschinen.
In diesem Projekt geht es darum, mittels formaler Methoden Fehler in SPS-Programmen zu finden oder zu beweisen, dass sie ihre Spezifikation erfüllen.
Insbesondere ist es dazu nötig, geeignete Abstraktion-Techniken zu entwickeln, dies erlauben, Berechnungsschritte auf einer großen Menge von Werten gleichzeitig auszuführen.
Erst so ist es möglich, die Analysen auf größere SPS-Programme anzuwenden.
Mein Lebenslauf ist hier erhältlich.