Formalisierung der Datumsarithmetik und statische Erkennung von Mehrdeutigkeiten für das Recht
Die Arbeit zielt darauf ab, eine solide Grundlage für kritische Software zu schaffen, die auf Datumskomputation angewiesen ist, indem sie eine formale Semantik für Datumskomputation definiert und eine statische Analyse entwickelt, um Mehrdeutigkeiten automatisch zu erkennen.